プログラマのための圏論の基礎(仮題)

2013/09/04 535 users プログラマ Haskell 圏論 基礎 必須

この記事は、プログラマに向けた圏論の入門記事です。通常の圏論の教科書より解説を多く、プログラマにとって必要ない概念を削って書いています。圏論とは何かから始まり、アルゴリズム設計、プログラム意味論および Haskell の free-operational パッケージと圏論との関連について解説していきます。 前提知識として必須ではありませんが、何かしらの関数型言語に慣れ親しんでいると読みやすいと思い... 続きを読む