項書き換えに基づく関数型プログラミング言語 Pure

Pure Programming Language

• デフォルトは正格評価。指定すれば遅延評価も使える。
• 副作用を許容する。
• バックエンドにLLVMを使っている。
• C FFIを持つ。C言語などで書かれたライブラリを、簡単な宣言で呼び出すことができる。
• 変数には型がないが、データの種類を示すために、type tagsを使うことができる。