Schemeの話

えーと、最近ちょっとSoft Typingについて調べていたのですが、Soft Typingしてくれる処理系で入手できるものはあるでしょうか？(静的型つきScheme - sumiiの日記かと一瞬思ったのですが、Soft Typingでは無いようですし…)論文だけ読んでいても、やっぱりよくわかりません。

Wrightの論文にプロトタイプがここにあるよーとか書いてあるやつは、さすがにもうホストごと無くなっていました。

いやーTyped Schemeは、推論してくれないだけなのかなぁ…unionがあるし…なんかインストールができまえん…orz