型为（可能递归的）乘积之和，这是使用了稍微冗余的自然语言风格描述来完成的，但是除了表示法之外完全等同于现代函数式语言中。ISWIM变量没有明确的类型声明，Landin好像（尽管在1966年论文中没有明确的说）希望这个语言是动态类型的，像LISP而不像ALGOL；但是也有可能他想要开发某种形式的类型推论。
实现和派生.没有尝试过ISWIM的直接实现，但Art Evan的和John Reynold的Gedanken捕获了Landin的多数概念，包括强力控制转移操作。这两者都是动态类型的