Ivory 語言是一門可嵌入的領域專用語言，用于更安全的系統編程。你可以將?Ivory 看作是在 Haskell 中嵌入“受限”的 C 語言。

Ivory?具有以下特性

• 可嵌入：Ivory 以 Haskell 編程語言的庫的形式實現，Ivory 使用了 Haskell 的語法和類型進行編寫

• 領域專用語言：Ivory?提供了強大的類型和內存安全保證，并且具有允許程序員指定其他安全屬性的功能

• 系統編程：Ivory 非常適合編寫與硬件直接交互的程序，而且不需要動態內存分配

示例代碼

Hello World

puts?::?Def?('[IString]?:->?Sint32)
puts??=?importProc?"puts"?"stdio.h"

main?::?Def?('[]?:->?())
main??=?proc?"main"?$?body?$?do
??call_?puts?"hello,?world\n"
??retVoid

?

Ivory 編寫的 Hello World

Fibonacci

fib_loop?::?Def?('[Ix?1000]?:->?Uint32)
fib_loop??=?proc?"fib_loop"?$?\?n?->?body?$?do
??a?<-?local?(ival?0)
??b?<-?local?(ival?1)

??n?`times`?\?_?->?do
????a'?<-?deref?a
????b'?<-?deref?b
????store?a?b'
????store?b?(a'?+?b')

??result?<-?deref?a
??ret?result

?

計算斐波那契數的?Ivory 程序，使用了循環和可變狀態(mutable state)