摘要: 前言 采用ADT来对领域进行设计,是一种很好的实践。在这种实践中,我们可以把领域中的数据抽象成ADT,把领域中的操作抽象成函数,然后利用ADT的类型系统来进行类型检查,从而保证领域中的数据和操作的正确性。 设计目标 首先,我们的设计目标如下: 各领域专家架和程序开发都能够理解的设计能够利用ADT的类 阅读全文
posted @ 2023-09-02 10:23 大福是小强 阅读(22) 评论(0) 推荐(0) 编辑