Avatar
koher 10/21/2019 3:09 PM
そのまとめた全体に名前をつけられるかどうか、は直交する話だと思います。
たしかにそれはそうだなぁ。
3:13 PM
そうすると論点は↓で
caseが増えたときに、そうした箇所全てを直すのは、大変すぎるし特に意味がないと思う。
これはたまたまenumではそうだけど、戻り値の型が変わったら素通しで投げ返してる箇所全部変更するわけだし、エイリアスで解決できるのは一部のケースだけだし、その一部がエイリアスを導入することを正当化できるのかかなぁ。
3:14 PM
現にJavaのthrowsはすでに同じ問題を抱えてるはずだけど、エイリアスなしでやってきてるわけだし。
3:15 PM
エイリアスは役に立つかもしれないけど、それは複数例外のthrowsをunionで書けるようにする話とは独立なんじゃないかな？