私が考えていた型は「契約をオブジェクト化したもの」だったことに思い至った。

Scheme風味のスクリプトをjavaで実装してみた。特徴は以下の通り。 GCはjavaに任せる。 javaのreflectionを多用した。*1 継続は未実装。 *1:displayがjava.lang.System.out.printlnへの参照(とその実行方法)だったり。