摘要: 1. 语法糖——元组的“名称引用”与“位置引用”: (e1,...,en) <=> {1=e1,...,n=en} 类型:t1 * … * tn <=> {1:t1,...,n:tn} 2. 自定义数据类型绑定: datatype mytype = TwoInts of int * int | St 阅读全文
posted @ 2016-12-22 20:21 notTao 阅读(501) 评论(0) 推荐(0) 编辑