#OCaml

OCamlは、「純粋関数型」を名乗りつつ、実際には型推論という鎧の下で開発者を翻弄する魔性のプログラミング言語だ。静的型付けとガーベジコレクションを装備しながら、実行時エラーの発露を許さず、代わりにコンパイル時に矛盾の全貌を見せつけて心を折る。モジュールシステムを誇り、容易に再利用できるコードを謳うが、その真の価値はたいてい、壮大な型エラーの山に埋もれる。OCamlコミュニティは堅固な安全を称揚し、山積みとなった型シグネチャを飾るが、実際にはチュートリアル外のトリックが無数に潜む迷宮そのもの。ビルドツールを呼び出すたびに、「それは本当に必要な依存ですか？」という自問を促され、開発者は忍耐力の限界を試される。