ndin的J算子）。因为基于lambda演算，ISWIM有高阶函数和词法辖域变量。ISWIM的操作语义是使用Landin的SECD抽象机定义的，并且使用了传值调用因而是及早求值的。ISWIM的目标之一就是看起来更像数学表示，所以Landin放弃了ALGOL的语句间分号和begin...end块结构并把它们替代为越位规则和基于缩进的辖域。ISWIM的一个概念上的特色是使用了where子句。ISWIM程序是由where子句（包括变量间等式的辅助定义），条件表达式和函数定义所量化的一个单一表达式。与CPL