Mozk https://blog.hatena.ne.jp/Mozk/ 壊れた計算機 https://mozk-2.hatenadiary.org/ Haskell LISP LISPはラムダ計算に基づいている。Haskellの型クラスは記号論理学的だ。例えば↓の式なんてシーケントそっくり。 sort :: Ord a => [a] -> [a] Haskellでは記号論理学という背景があるので、圏論を使用してモナドという強力な道具を取り込むことができた。 HaskellでEqやOrdといった概念を理解したら、数学の相当関係・同値関係・順序関係などの概念にも親しみがわく。LISP/Scheme・Haskellの再帰は気持ちいい。再帰は数学的帰納法と深くかかわりがあるので、再帰を使うように設計されている言語では、多くの数学の表現をそのままプログラムに落とすことができる… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmozk-2.hatenadiary.org%2Fentry%2F20090316%2F1237177346" title="プログラミング言語と背景にある理論 - 壊れた計算機" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-03-16 13:22:26 rich https://mozk-2.hatenadiary.org/entry/20090316/1237177346 1.0 100%