いう関数型プログラミング言語の一つです。博士を中心に開発された言語です。処理系が作られました。次のサイトからダウンロードできます。用のバイナリが用意されているので、とても簡単にインストールすることができます。場合、データに型はありますが、変数に型はありません。強く型づけされた言語で、コンパイル時に静的な型チェックを行うことで、多くのエラーを検出することができます。有名な機能は「型推論」でしょう。プログラムから変数などのデータ型を見つけてくれるので、プログラマが型を宣言する必要はほとんどありません。ような柔軟なプログラミングが可能になっています。興味深い機能がたくさんあります。プログラムをネイティブコードにコンパイルして実行するので、バイトコードにコンパイルする処理系よりもプログラムを高速に実行することができます。その実行速度ですが、たらいまわし関数を使って調べてみました。場合、プログラムを入力すると自動的にコンパイルされます。入力すると、ファイルをロードしてプログラムがコンパイルされます。ようにコマンドラインからファイル名を入力してもかまいません。それでは実行結果を示します。