类型的。Milner的ML可以被认为等价于没有J算子和有类型推论的ISWIM。从ISWIM衍生出的另一个行列是去掉指令式特征（赋值和J算子）而留下纯函数式语言。接着就有可能切换到惰性求值。这条路导致了SASL、KRC、Hope、Miranda、Haskell、Clean。