昔話題になったオーム社から出ている本では、プロトライプ型言語はIOというマイナーなものでしたね。
未翻訳の続編の方に、バスケさん推し?のElmも入ってます。

https://www.ohmsha.co.jp/book/9784274068577/
Seven Languages in Seven Weeks
7つの言語 7つの世界

https://mstdn.guru/@sumim/105741293828107455