PAL語言

PAL，是教育算法語言（Pedagogic Algorithmic Language）的首字母簡寫，它是在大約1967年於麻省理工學院開發的編程語言，用於幫助教授編程語言語義和設計^[1][2]。它是ISWIM的直接後代，並擁有很多來自Christopher Strachey的哲學^[3]。

PAL

編程範型	函數式、指令式
設計者	Peter Landin、Arthur Evans及其他人
面市時間	1967年，​58年前​（1967）
受影響於
ISWIM
影響語言
ML

PAL最初用Lisp實現，由彼得·蘭丁和小詹姆斯·H·莫里斯（James H. Morris, Jr.）書寫。後來馬丁·理察德、Thomas J. Barkalow、Arthur Evans, Jr.、Robert M. Graham、James Morris, Jr和約翰·沃森克拉夫特（英語：John Wozencraft）對它做了重新設計。Richards和Barkalow將它用BCPL實現為中間代碼解釋器，並運行在IBM System/360之上，它被稱為PAL/360^[4]。

RPAL

RPAL，即「右引用PAL」，是PAL的函數式子集的實現^[5]。它被用在佛羅里達大學用於教學編程語言構造和函數式編程。程序是嚴格的函數式的，沒有賦值運算序列。