FL（プログラミング言語）

FL（「Function Level」の略）は、1980年代にジョン・バッカス、ジョン・ウィリアムズ、エドワード・ウィマーズによってIBMアルマデン研究所で作成され、1989年のレポートに記載されたプログラミング言語です。 ^{[1] FLは、バッカスの以前の}FP言語の後継として設計され、バッカスが関数レベルプログラミングと呼んだものに特にサポートを提供します。

FL は、 MLと同様に例外のスローとキャッチのセマンティクスを備えた動的型付けの厳密な関数型プログラミング言語です。各関数には暗黙の履歴引数があり、これは厳密に機能的な入出力(I/O)などの処理に使用されますが、 Cコードへのリンクにも使用されます。最適化を行うために、 Hindley–Milner 型推論の拡張である型システムが存在します。

PLaSMは1992年に初めて記述された「FL言語のサブセットのジオメトリ指向拡張」^[2]です。

• FL 言語マニュアル、パート 1 および 2 (PDF)
• plasm.net の FL 論文リスト
• FL と PLaSM の概要 (PDF)