集合論に基づいた言語を作りたい

集合論に基づいた言語を作りたいat TECH

集合論に基づいた言語を作りたい - 暇つぶし2ch■コピペモード
□スレを通常表示
□オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト

102:デフォルトの名無しさん
 14/08/16 18:09:17.80 ceF43G6L
>>100 
いや、>>75を具体的に語ったのが>>93なんだけども。 
残念ながら教科書コピペとはほど遠いC++チックなコードになっちゃったけど 
教科書の定義にはなるべく従ったコードにしたつもり。

103:デフォルトの名無しさん
 14/08/17 00:08:28.60 rJnEUKU4
OCamlのvariantみたいなことがしたいのかなあ？

104:１
 14/08/17 00:17:38.28 wbAX39n3
OCamlは触ったことがないけど面白そうな雰囲気ですね。 
本でもかってくるかな。

105:デフォルトの名無しさん
 14/08/17 00:38:59.38 rJnEUKU4
>>1はCライクな言語しか触ったこと無いの？ 
だったら、もっと色々な言語を知るべきだよ。 
その上でLispなり何なりで好きなようにDSLを実装すればいい。 
 
少なくとも、集合が不当に冷遇されてるなんてことはない。ありえない。

106:デフォルトの名無しさん
 14/08/17 05:17:10.40 ruDVRpF3
集合論よりかは圏論のほうが良くないか。厳密には違うが、ほぼ集合論の一般化でプログラム言語として利用する上では不具合無いだろ。 
 
 
Haskell/圏論 - Wikibooks 
http://ja.wikibooks.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Simple-cat.png 
http://ja.wikibooks.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Functor.png 
http://ja.wikibooks.org/wiki/Haskell/%E5%9C%8F%E8%AB%96 
 
Scala で圏論入門 
https://github.com/scalajp/introduction-to-category-theory-in-scala-jp/wiki 
 
 
Coq を始めよう 
このチュートリアルでは定理証明支援系言語である Coq について解説をします。 
読者の前提知識としては OCaml や Haskell などの関数型言語でプログラミングできることを想定します。 
また、本文書において Coq のプログラムとの比較には Haskell と OCaml を用いますが、Haskell や OCaml を書いたことがなくても他の関数型言語に触れていれば理解できるような内容を心がけます。 
http://www.iij-ii.co.jp/lab/techdoc/coqt/coqt1.html 
 
 
 
圏論は数学をするための「高級言語」　 
http://www.is.s.u-tokyo.ac.jp/isnavi/images/logic/picture04.gif 
http://www.is.s.u-tokyo.ac.jp/isnavi/logic06.html

次ページ