- 集合論に基づいた言語を作りたい
303 ：デフォルトの名無しさん[sage]：2014/09/21(日) 14:55:43.06 ID:hG2OFVWB - 「集合論に基づいた言語」をつくるうえで参考になるかもしれないということで関数型言語の話が
出てきているんだろうけど、>>1はそれについて、参考になったとか、自分が考えているのとはこう違うから
参考にならなかったという話はせず、効率やら生産性の話をするんだよな。
「集合論に基づいた言語」で効率や生産性の向上を目的としてないなら、関数型言語で効率や生産性の向上が
なくてもどうでもいいことだと思うけど。
|
- 集合論に基づいた言語を作りたい
304 ：デフォルトの名無しさん[sage]：2014/09/21(日) 15:30:26.77 ID:hG2OFVWB - 無限集合を扱おうとすれば、関数型言語にあるような遅延評価か、論理型言語にあるような全解収集をするしかないだろ。
要素の重複を認めないのなら、生成されたものがすでに集合に含まれているかどうか調べるためのしくみも必要だし。
集合の包含関係はどのように調べるんだろ。
それとも数式処理のようなものを考えているのかな。
|
- 集合論に基づいた言語を作りたい
307 ：デフォルトの名無しさん[sage]：2014/09/21(日) 19:35:49.05 ID:hG2OFVWB - 無しの方向ってどうするの?
自然数全体の集合等を扱わないとか、内包的記法を扱わないとか。
|