Schemeでの「コンパイル時チェック」

プログラミング Lisp

R6RS制定の議論メーリングリストで知ったが「R6RSでは (cons 1 2 3) とかはコンパイル時ではねる」という話になってるらしい．でも具体的にどこまでどうするのか，まだ固まってないようだ（素人目にも穴が多い）．しかしR5.91RSにそんなことまで書いてあったとは．
それにしても，うーん，やはり（部分的にでも）静的型を入れるというのは抗い難い流れなのか？ （まぁ内部的に近いことをやってるコンパイラは多いようだが）

あぁ，そう言えばSoft Typing関連の論文を流し読みしても思ったことを書く余裕がない...