もう結論出てるだろ
大規模開発ドカタは静的型付け言語すらちゃんと使えない

動的型付け云々を言う前に
せめてcaseの網羅性を静的検査可能な形で記述できるようになれ