Joy

ロボットの操作用に実装する言語を物色しています。使い勝手からSchemeあたりが適切かなと思ってminiscmのソースを読みなおしてみたり、古ForthプログラマからForthの情報を仕入れたりしています。SqueakMapでの実装を調べている最中にSorrowというパッケージを見つけ、さらにそこからJoyという言語にたどりついたのですが、このJoyという言語は逆ポーランド記法なところはForth風なのですがウェブサイトを見ると関数型言語だと言っています。さらに詳しく読んでみるとCombinator理論をそのまんま実装したような言語であることがわかりました。古典の「Lambda Calculus」を読んだ時に自分で実装することも考えていましたが、ちゃんと使えそうな言語として存在しているとは知りませんでした。結構面白そうです。

Sorrow

http://map.squeak.org/package/9b0b34f7-15ae-4b73-839d-9262988ff276

Joy

http://www.latrobe.edu.au/philosophy/phimvt/joy.html