Top
Photo Drawings Software Writing Reading Memo Study Profile Bookmark 
Amethyst DumLambda PetitLambda Yamanba JSharp JFlat OOPS yash KumonoIto ML Toys 

関数型言語の処理系

関数型言語の処理系は、つぎの3つが主に使われています。

Standard ML of New Jersey
ベル研究所で開発されている処理系です。 Standard MLに準拠しています。
Caml
INRIA(フランス国立情報処理自動化研究所)で開発されているML処理系です。 SMLとは文法が異なります。
Haskell
Haskellは、遅延評価戦略を採用している点や、破壊的代入をもたないなど、 MLとは異なる特徴を持つ言語です。 ラムダ計算の原理に忠実な'pure'な言語だといえるでしょう。
また、 JAISTでも、MLコンパイラを開発する IMLプロジェクト が進められています。

そのほか、LispやSchemeなども関数型言語といえます。 ただし、これらのLisp系言語はコンパイル時に型をチェックしない点で MLやHaskellなどとは異なります。