>>85
意味不明じゃないよ。

型をしっかり書くということは
エラーチェックになっている。
それらの型以外が入らないわけだから。

動的言語でそれをやったところで、実行時にしかわからないわけだから
片手落ちにしかならないが、それでも型チェックを
加えてみって話。