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

[534 デフォルトの名無しさん 2014/10/19(日) 09:37:05.49 ID:29Wx6lEI]

あらら。
集合論関係無く、集合操作したかったってことでしょ？
で、聞いてみたら既にいろんな言語（ライブラリ）が存在したと。