PAL语言

PAL，是教育算法语言（Pedagogic Algorithmic Language）的首字母简写，它是在大约1967年于麻省理工学院开发的编程语言，用于帮助教授编程语言语义和设计。它是ISWIM的直接后代，并拥有很多来自Christopher Strachey的哲学。

PAL最初用Lisp实现，由Peter Landin和James H. Morris, Jr.书写。后来Martin Richards、Thomas J. Barkalow、Arthur Evans, Jr.、Robert M. Graham、James Morris, Jr和对它做了重新设计。Richards和Barkalow将它用BCPL实现为中间代码解释器，并运行在IBM System/360之上，它被称为PAL/360。

RPAL
RPAL，即“右引用PAL”，是PAL的函数式子集的实现。它被用在佛罗里达大学用于教学编程语言构造和函数式编程。程序是严格的函数式的，没有赋值运算序列。

引用

学术的编程语言
函数式编程语言