関数型言語ML (SML, OCaml, etc.), Part 6

[356 デフォルトの名無しさん 2010/11/11(木) 21:19:26]

>>305 解決策(SML/NJの場合の)が見つかった。
data label = A | B | C
Unsafe.cast A: int;
Unsafe.cast B: int;
Unsafe.cast C: int;
とすると、それぞれ0,1,2になる。