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

ログインコに脱力。