Avatar
koher 9/17/2020 8:37 AM
そうか、 any P: P ができるようになっても、それが opt in である限り問題にならないわけですね。
8:37 AM
その上で警告はかなり良いバランスな気がしてきました。
8:40 AM
まとめると↓でしょうか。高階関数の問題も解決されますね。
  • 無印 throws は throws some Error の意味にする
  • any Error: Error なので、複数種のエラーを throw すると any Error として throw されて警告が出る
 (edited)
8:42 AM
こういう意見がフォーラムに出てないなら一言書いておいた方が良さそうだ。今晩でも書いてみようかな。