zzfx

摘要： 元类型（0阶类型）；nullary type， data types 一元类型（一阶类型）：unary adj. [数] 一元的 二元类型： is the kind of a binary type 高阶类型：：关注类型的变换； a kind is the type of a type constr 阅读全文

摘要： 设计问题：谁来构造、构造什么、怎么添加新功能 关键词：本体、客体、构造、映射、功能。 别名：桥接变量、型变变量、容器变量、适配变量，构造变量； 目的：添加命名空间、添加新功能。 原则：不修改本体的实现。 原始版本： 在本体的扩展中，直接构造客体；客体的构造器输入参量为主体； 客体为具体类，直接完成本 阅读全文