15.6.2 定义基元 15.6.2 定义基元 首先要定义将要处理的值类型，然后，实现几个可以在以后组合的基元。基元数据类型叫 Contract，表示可能出现在特定日期和时间的交易。声明 CONTRACT 类型 你可以看到在清单 15.23 中，Contract 类型与动画示例中的行为类型很相似，它是一个差别联合，只有一个识别器，名为 ContractFunc。这是... Other 2023-10-05 50 点赞 0 评论 75 浏览
