google:集合知プログラミング Pythonのコードを使って説明されているけど、自分はSchemeで書きながら読んでいくことにした

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