JavaScript

truby

http://www.google.co.jp/search?hs=DeP&hl=ja&c2coff=1&client=firefox-a&rls=org.mozilla%3Aja-JP%3Aofficial&biw=1025&q=javascript+type+checking&btnG=Google+%E6%A4%9C%E7%B4%A2&lr=

JavaScriptのプログラムを型検査しようっていう話がけっこうあるらしい。まあ、月並みな発想だよなーと。

JavaScriptは、関数がファーストクラスだったり、クラスがあからさまにクロージャ＋レコード型だったりする*1ので、扱いやすいのかもしれない。

*1:うろ覚えですが