14/08/17 05:17:10.40 ruDVRpF3.net
集合論よりかは圏論のほうが良くないか。厳密には違うが、ほぼ集合論の一般化でプログラム言語として利用する上では不具合無いだろ。
Haskell/圏論 - Wikibooks
URLﾘﾝｸ(ja.wikibooks.org)
URLﾘﾝｸ(ja.wikibooks.org)
URLﾘﾝｸ(ja.wikibooks.org)
Scala で圏論入門
URLﾘﾝｸ(github.com)
Coq を始めよう
このチュートリアルでは定理証明支援系言語である Coq について解説をします。
読者の前提知識としては OCaml や Haskell などの関数型言語でプログラミングできることを想定します。
また、本文書において Coq のプログラムとの比較には Haskell と OCaml を用いますが、Haskell や OCaml を書いたことがなくても他の関数型言語に触れていれば理解できるような内容を心がけます。
URLﾘﾝｸ(www.iij-ii.co.jp)
圏論は数学をするための「高級言語」
URLﾘﾝｸ(www.is.s.u-tokyo.ac.jp)
URLﾘﾝｸ(www.is.s.u-tokyo.ac.jp)