ISWIM variables did not have explicit type declarations and it seems likely (although not explicitly stated in the 1966 paper) that Landin intended the language to be dynamically typed, like LISP and unlike ALGOL; but it is also just possible that he had in mind to develop some form of type inference.
ISWIM 变量没有明确的类型声明，Landin 好像（尽管在 1966 论文中没有明确的说）希望这个语言是动态类型的，像 LISP 而不像 ALGOL；但是也有可能他想要开发某种形式的类型推论。