関数型プログラミング技術マップ2015『圏論の歩き方』を読んで少し理解が進んだので、関数型プログラミング技術マップを更新しました。「関数型プログラミング技術マップ2014」の2015年版です。 以下の点を改良しています。 Curry-Howard対応をCurry-Howard-Lambek対応に拡張直観主義述語論理を追加して直観主義命題論理を包含カルテジア閉圏とトポス(圏)を追加直観主義命題論理⇔カルテジアン閉圏、単純型付ラムダ計算⇔カルテジアン閉圏間の関係を追加この図は関数型プログラミング(FP: Functional Programming)を取り巻く理論を整理することを目的としています。 誤解があるといけないので補足しておきますがFPを行うために必須の理論という意図ではありません。 業務アプリケーションをFPで開発するという目的には、圏論も論理学も抽象代数も必須知識ではなく、MonoidやMonadのプログラム上での使い
