読者です 読者をやめる 読者になる 読者になる

Schemeの話

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

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

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