984コメント380KB

let t = 関数型プログラミング言語ML 2

■ このスレッドは過去ログ倉庫に格納されています

0747デフォルトの名無しさん

NGNG

# fun f (x : [> `A | `B]) (y : [> `A]) -> f x + f y

■ このスレッドは過去ログ倉庫に格納されています