静的型つきScheme

http://www.ccs.neu.edu/home/samth/typed-scheme.html
(via http://blog.plt-scheme.org/2007/05/looking-for-small-scheme-scripts.html)

How to Design Programs (HtDP)でも使われている教育用Scheme処理系PLT Schemeの型つきバージョン(!)らしい。多相型もある。HtDPの「レシピ」に「関数を定義するときは、まず型を考える」とか書いてあって「それなんてML/Haskell?」とか思ったが、本当に開発するとは…。逆にMLの構文をS式にした言語、と考えるとちょっと使いたくなるかも。:-)