>>309
＞静的型でチェックできることは、単体テストを書く過程で自然とチェックできる
逆だ、
単体テストでのチェック内容の一部は、テストを書くまでもなく静的型でチェックできる、だ
テストを書くまでもなく、成果物の品質を一定のレベルまで引き上げるのが静的型の特徴だ

メタプログラミングはそれようの総称型を使えばよい
本質的でないキャストは総称型（ジェネリクス）で基本的に全廃できる