「コンパイラ・スクリプトエンジン」相談室6

「コンパイラ・スクリプトエンジン」相談室6at TECH

「コンパイラ・スクリプトエンジン」相談室6 - 暇つぶし2ch574:デフォルトの名無しさん
05/06/22 18:33:58
subset型が欲しいなと思うときはある。
y : { x in Int | P(x)}みたいな感じで。
ただしimpredicativeなものは勘弁。