#関数型

Haskellとは、学者が理想とする純粋関数型プログラミングを追い求めるあまり、現実世界のエラーや納期を頑なに拒絶する言語。静寂と論理の平穏を説きながら、開発者の頭をパラダイムの牢獄に閉じ込める。実行時よりも型検査時にこそ動くべきだと主張し、その信者たちは無限に型推論の旅を続ける。生産性向上やエンジニア体験など、また別の言語の美徳をすべて「副作用」という名の嫌疑で否定し、唯一絶対無謬の関数世界を築こうとする。運用環境ではしばしば「なぜ動かないのか」を巡るミステリーショーを開催し、観客がエラーに涙するのを楽しむ。

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