- 集合論に基づいた言語を作りたい
104 ：１[sage]：2014/08/17(日) 00:17:38.28 ID:wbAX39n3 - OCamlは触ったことがないけど面白そうな雰囲気ですね。
本でもかってくるかな。
|
- 集合論に基づいた言語を作りたい
109 ：１[sage]：2014/08/17(日) 09:26:36.14 ID:wbAX39n3 - >>105
私の使用言語は主にC/C++ですね。
あとはRubyを少々。JavaやC#はかじった程度。
関数型言語は触ったことないですね。
>少なくとも、集合が不当に冷遇されてるなんてことはない。ありえない。
うーん。そうなんですか。でもそれだとこのスレが終わってしまうｗ
>>106
圏論は知らないですね。なんか難しそうってイメージです。
はたして独学で勉強できるかどうか。。。
|
- 集合論に基づいた言語を作りたい
112 ：デフォルトの名無しさん[sage]：2014/08/17(日) 09:52:50.76 ID:wbAX39n3 - >>110
→の意味がわからないｗ
あと最後の>は必要なの？
|
- 集合論に基づいた言語を作りたい
113 ：１[sage]：2014/08/17(日) 09:53:56.42 ID:wbAX39n3 - うおリロードしてなかった。
|
- 集合論に基づいた言語を作りたい
115 ：１[sage]：2014/08/17(日) 10:17:17.51 ID:wbAX39n3 - TODOが一気にふえたな。
とりあえず、Ocamlの本買ってきます。
圏論を理解できるようになるのは相当先かな〜。
|
- 集合論に基づいた言語を作りたい
120 ：１[sage]：2014/08/17(日) 15:08:45.66 ID:wbAX39n3 - 本屋めぐってきたけどOcamlの本なかったわー
廃れてしまった言語なん？
しかたないからwebで情報探すか。
|