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

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

関数型言語ML (SML, OCaml, etc.), Part 6 - 暇つぶし2ch576:デフォルトの名無しさん
12/10/12 18:44:39.63 .net
>>564
abbreviationではない新しい型がcyclicかどうかは仕様を決める人が自由に決める

一方、タプルとoptionがcyclicではないという仕様は既に決まっているので
タプルのabbreviationとoptionのabbreviationはcyclicではないはず

次ページ

続きを表示

1を表示