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の型つきバージョン(!)らしい。多相型…