Un programme de ISWIM est ainsi une expression unique agrémentée de clauses where, qui sont des définitions auxiliaires, notamment des équations entre variables, des expressions conditionnelles et des définitions de fonctions. ISWIM 程序是由 where 子句（包括变量间等式的辅助定义），条件表达式和函数定义量化的一个单一表达式。
