Ivory 語言是一門可嵌入的領(lǐng)域?qū)Ｓ谜Z言，用于更安全的系統(tǒng)編程。你可以將?Ivory 看作是在 Haskell 中嵌入“受限”的 C 語言。

Ivory?具有以下特性

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

• 領(lǐng)域?qū)Ｓ谜Z言：Ivory?提供了強大的類型和內(nèi)存安全保證，并且具有允許程序員指定其他安全屬性的功能

• 系統(tǒng)編程：Ivory 非常適合編寫與硬件直接交互的程序，而且不需要動態(tài)內(nèi)存分配

示例代碼

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

?

計算斐波那契數(shù)的?Ivory 程序，使用了循環(huán)和可變狀態(tài)(mutable state)