Xerox Cedar
XEROX製
bit別冊だったか岩波の本だったかでCedarへの旅という論文が乗っていたのですがこれは開発環境の話で言語仕様は載っていなかったと記憶しています。究極の言語みたいに紹介されていて20年以上気になっているのですが
https://www.microsoft.com/en-us/research/publication/description-cedar-language/
Type classのようなものや無名関数があったり型が述語関数だったり、強力な言語機能を備えているように見えます。
開発者?のButler Lampsonが今MS ResearchのTechnical Fellowをしてるみたいです。
http://www.bitsavers.org/pdf/xerox/parc/cedar/Cedar_7.0/09_Cedar_Language_Overview_Version_5.2_Jun1986.pdf
#プログラミング言語