2012-02-14から1日間の記事一覧
以下の2つを書き直しているだけ Haskellと圏論(Wikibooks) これの噛み砕き版(こちら) Haskellと圏論 Haskellが圏である Haskellを成り立たせているものを圏論の言葉で語ることができる Haskellは圏を作ったり、扱ったりすることができる Haskellが新たなデ…
インストール(こちらから)(Windows版) WinGHCiというのを立ち上げると、以下のような画面が出る "Prelude"というのは、こちらにあるように、対話式インタープリタ GHCiという方を立ち上げると、コマンドプロンプトのようなものが出るが、これも"Prelude"とな…
Haskellというものが少し気になっていた(こちら) 圏論も気になっていた(こちら) Haskellと圏論(Wikibooks) これの噛み砕き版(こちら) 自分なりのHaskellと圏論 実は、数学セミナーで2011年7月号より『圏論の歩き方』という連載が続いていた 2012年3号にて、…