型を明示的に書く事ですらDRY原則に反すると主張してる人が作った言語のユーザーが「安全の為にはある程度冗長さが必要！＞＜ 明示的な記述は素晴らしい！＞＜ スイスチーズモデル！＞＜」って人(→＞＜)に「これ、DRY原則に反してるんでは？＞＜；」って言われるコードを書くの、世の中不思議＞＜(？)