>>344
型検査の厳しさは型を陽に書くかどうかとは関係ない。

>>345
何をいいたいのかわからん。