LeanとHaskell、どちらを選ぶか迷っている感じでしょうか？目的によってかなり変わるので、ざっくり比較します。 ## Haskell - **純粋関数型プログラミング言語**として実用的なソフトウェア開発向け - エコシステムが成熟（Webサーバー、パーサー、コンパイラ開発など） - 遅延評価、型クラス、モナドなど関数型の概念を深く学べる - 求人は少なめだが存在する ## Lean (