SASL，是纯函数式编程语言，在1972年由David Turner于圣安德鲁斯大学，基于ISWIM的应用式子集而开发。在1976年，Turner重新设计并重新实现它为非严格语言。它以这种形式成为了Turner以后的语言肯特递归计算器和Miranda的基础，但是SASL表现为无类型的，而Miranda有多态类型。
PAL，是教育算法语言的首字母简写，它是在大约1967年于麻省理工学院开发的编程语言，用于帮助教授编程语言语义和设计。它是ISWIM的直接后代，并拥有很多来自Christopher Strachey的哲学。
Mini wiki
1