やっぱり動的型付け言語では安全なソフトは作れない

何故、変数の型宣言みたいなレベルの低い話になるのだろう。

せめてオープンクラスは柔軟な変更が可能になるけど
影響範囲がグローバルになるからClassbox的な機構が必要
みたいな議論にならんものか。