PSアルゴル

PS-algolは直交永続 プログラミング言語である。^{[1] [2]}

PS-algol は、スコットランドのセント・アンドリュース大学とエディンバラ大学によって実装された言語S-algolの拡張です。S-algol はRon Morrisonによって設計され、Pete Bailey、Fred Brown、Paul Cockshott、Ken Chisholm、および Al Dearle によって拡張されました。これらの拡張は、PS-algol プログラムの終了後も存続する永続ヒープを提供する追加の標準関数でした。

PS-algolは世界初の完全に実装された永続プログラミング言語であり^[3]、学界だけでなく、特にInternational Computers Limited（ICL）の研究室でも多くのユーザーが使用していました。^{[4] [5]}

PS-algol は、ロン・モリソンがエディンバラ大学で休暇を取っていたときにマルコム・アトキンソンと出会ったときに偶然思いつきました。アトキンソンは永続的なプログラミング言語の実験をしており、永続的なPascal の変種のための一貫したモデルを見つけるのに苦労していました。汎用プログラミングへの関心から汎用教育言語である S-algol の開発に至ったモリソンは、S-algol の型システムによって直交永続性を簡単に追加できることに気付きました。

• フレックスマシン