摘要：1. 语法糖——元组的“名称引用”与“位置引用”： (e1,...,en) <=> {1=e1,...,n=en} 类型：t1 * … * tn <=> {1:t1,...,n:tn} 2. 自定义数据类型绑定： datatype mytype = TwoInts of int * int | St 阅读全文

摘要：SML（一） 1. ML是一个函数式编程语言，理论基础为λ演算。 2. 变量声明 val x = e; 标准类型：单元（unit）、布尔（bool）、整型（int）、字符串（string）、实数（real）、元组（tuple）、记录（record）、列表（list） 1）负数表示：负号用“~”表示， 阅读全文