コンパイル時型チェックは、最近どんどんどうでもよくなっていってる気がする。