他想要开发某种形式的类型推论。
实现和派生.没有尝试过ISWIM的直接实现，但Art Evan的和John Reynold的Gedanken捕获了Landin的多数概念，包括强力控制转移操作。这两者都是动态类型的。Milner的ML可以被认为等价于没有J算子和有类型推论的ISWIM。从ISWIM衍生出的另一个行列是去掉指令式特征（赋值和J算子）而留下纯函数式语言。接着就有可能切换到惰性求值。这条路导致了SASL、KRC、Hope、Miranda、Haskell、Clean。