LISPはラムダ計算に基づいている。Haskellの型クラスは記号論理学的だ。例えば↓の式なんてシーケントそっくり。 sort :: Ord a => [a] -> [a] Haskellでは記号論理学という背景があるので、圏論を使用してモナドという強力な道具を取り込むことができた。 Ha…

適当に書いてます。 HaskellにあってSchemeにないもの めんどくさくない遅延評価 モナド 型クラス SchemeにあってHaskellにないもの 括弧(Schemeに慣れると括弧があった方が厳密で分かりやすい) 強力なマクロ 単純さ こんなもんなんかな？

色んな言語やってみようプロジェクト本丸。(ちなみにHaskellの後は『集合知プログラミング』を読んでみようと思っている:amazon:集合知プログラミング) 処理系はECCSに元から入ってたHugs。Haskell のお勉強を導入として読む。