谦让棒棒糖

文章
4
资源
0
加入时间
2年10月21天

15.6.2 定义基元

15.6.2 定义基元     首先要定义将要处理的值类型,然后,实现几个可以在以后组合的基元。基元数据类型叫 Contract,表示可能出现在特定日期和时间的交易。 声明 CONTRACT 类型     你可以看到在清单 15.23 中,Contract 类型与动画示例中的行为类型很相似,它是一个差别联合,只有一个识别器,名为 ContractFu