ていうか「『優れた開発者が揃ってれば型システムなんて要らない』わけではない」を強力に推進しまくりまくりまくったのがAda＞＜