Google Code Archive - Long-term storage for Google Code Project Hosting.

Code Archive Skip to content Google About Google Privacy Terms

[wasabiz]

"Pureは項書き換えに基づくモダンな関数型プログラミング言語です"

[skymountain]

pure-lang The Pure Programming Language

[mooz]

term rewriting をベースにした関数型言語. LLVM を JIT コンパイルに使用. パターンマッチ, 動的型付け, 遅延評価, 行列演算, C との連携.

[dowhile]

項書き換えを利用した処理系。LLVM使用。