>>52
なんかさ、すべての問題を解決してくれないなら
意味が無いと思ってないか？

ユニットテストは仕様上のバグを解決してくれないから
意味が無いみたいな。

caseだって網羅性とか完璧に解決してくれないなら意味が無いと
言おうとしてるんだろうけど、caseと静的型付けはほとんど関係ないから。

まあ、caseっていうかswitchの引数に指定できない型を検出してくれるという意味で
少しは意味があるけどね。