过程控制
在Standard ML中，“等式类型”的机制粗略的对应于Haskell的内建类型类codice_6，但是所有等式算符都自动的由编译器导出。编程者的过程控制局限于，指定在一个结构中哪些类型成员是等式类型，和在多态类型中哪些类型变量涉及等式类型。