「HaskellかOCamlか」ですね!どちらも素晴らしい関数型言語ですが、目的によっておすすめが変わります。 ## 比較 | 観点 | Haskell | OCaml | |------|---------|-------| | 評価戦略 | 遅延評価 | 正格評価 | | 純粋性 | 純粋(副作用はモナドで管理) | 不純(普通に副作用OK) | | 型システム | 高度(型クラス、高カイ