Haskell — Termwire

関数型プログラミングの考え方を厳格に取り入れた、学術的にも評価の高いプログラミング言語。

変数の値を後から書き換えないことを前提とする関数型の考え方を徹底しており、数学的な厳密さを重視した設計が特徴。実務での採用は限定的だが、他の言語の設計にも大きな影響を与えている。

複雑な状態管理によるバグを避けたい研究分野や金融系のシステムなど、限られた領域で採用されることがある。