Haskell

どんな言語か

Haskell は 1990 年に委員会によって設計された、純粋関数型プログラミングのパイオニアです。「同じ入力なら必ず同じ出力を返す」純粋性を徹底し、副作用すら型で管理する点が大きな特徴です。研究と実務の橋渡しを意識して作られた言語です。

副作用を型で表す

ファイル書き込みや画面出力といった副作用は、IO という型で明示されます。純粋な計算と外界とのやり取りを型レベルで分離するため、関数の振る舞いをシグネチャから推測しやすくなります。値は必要になるまで計算されない遅延評価が基本で、強力な型推論が記述の負担を減らします。

得意なこと・不得意なこと

• 得意: 高い信頼性が求められる領域、コンパイラや DSL（ドメイン特化言語）の実装。
• 不得意: 遅延評価のため実行時の性能やメモリ消費を予測しにくく、チューニングに知識が要ります。実務での採用例は限定的です。

つまずきやすいところ

-- 型を見れば「整数を受け取り整数を返す」とわかる
double :: Int -> Int
double x = x * 2   -- 副作用のない純粋関数

学習コストは非常に高く、モナドや型クラスといった抽象概念の壁を越える必要があります。命令型言語の習慣がかえって妨げになることもあります。

どんな場面で使うか

研究・教育、金融など高信頼が求められる分野、言語処理系の開発で選ばれます。関数型の考え方を体系的に学ぶ教材としても価値があります。