- 集合論に基づいた言語を作りたい
614 :デフォルトの名無しさん[sage]:2014/10/26(日) 12:19:59.03 ID:lx1fz+FP - おいおいそんなこと書くと『わざと曲解してないか?』って言われちゃうぞ
|
- 集合論に基づいた言語を作りたい
618 :デフォルトの名無しさん[]:2014/10/26(日) 22:12:04.35 ID:lx1fz+FP - 「生産性」とかいいながらやっぱり効率の面で却下してるね
もいっぺん>>615-617を冷静に読みかえしてみて。 >>616は一言も効率(やデータ構造)の話はしてないよ せめて自分の頭んなかくらい整理して書いてくれ 整理せずに断片的に書きちらしてるから後出しって言われんだよ
|
- 集合論に基づいた言語を作りたい
620 :デフォルトの名無しさん[sage]:2014/10/26(日) 22:37:21.48 ID:lx1fz+FP - なんでそこでキューやスタックがでてくるんだw
有限集合の話じゃないのかよwwww
|
- 集合論に基づいた言語を作りたい
622 :デフォルトの名無しさん[sage]:2014/10/26(日) 22:51:49.39 ID:lx1fz+FP - では>>616が書いて>>1も同意したように
"重複要素を取り除く"ような薄いラッパーをかませばhaskellのリストは有限集合の代用になるのに それ以外に効率とは関係なく「生産性」の上で課題になる「集合とリストの本質的な違い」ってなんだ?
|
- 集合論に基づいた言語を作りたい
625 :デフォルトの名無しさん[sage]:2014/10/26(日) 23:16:23.07 ID:lx1fz+FP - 効率以外の面では既存言語(例えばhaskell)に集合操作ぽいラッパーがあればそれで充分と認めたんだよな?
問題は有限集合を扱う効率だけだということになってかなり整理されたな。 じゃお前さんが「生産性」の上では充分だと思うようなラッパーを既存言語の上で定義してくれよ。 haskellでもrubyでもいいよ それがあれば効率よく処理する必要があるターゲットがみんなにも具体的によくわかる。
|