2009-04-19から1日間の記事一覧
ある属性attr1はAとBという値を持つ。またある属性attr2はCとDという値を持つ。これをOCamlで表現するとこう。 type t = { attr1 : [ `A | `B ]; attr2 : [ `C | `D ]; } ただし、attr2のDという値はattr1の値がBの時のみ有効であるという条件を加えると...…
ある属性attr1はAとBという値を持つ。またある属性attr2はCとDという値を持つ。これをOCamlで表現するとこう。 type t = { attr1 : [ `A | `B ]; attr2 : [ `C | `D ]; } ただし、attr2のDという値はattr1の値がBの時のみ有効であるという条件を加えると...…