思いっきり書いてあるねえ

>>439
> 実行時で型に関するエラーが起きないってのは、
> 起きないよう注意を払ってプログラムを書くことができる、じゃなくて、
> 原理的に起こせない、っていう意味で言ったんだけど、分かる？