>>158
>ただし、JavaやC#では、実行時にNullPointerExceptionが発生しうるから、
>コンパイルを通過しても型に問題がないことを保証できない
なんでそうなるんだよ。
型に問題ないのが保証できなきゃコンパイル通らないよ。
お前が言ってる事は静的型・動的型なんて関係なく、
Null値を許容している限り、実行時エラーは起こりうるという事だろ？
それでもまだ突っ込みどころがあるわけだが。