たるのんの言うようにするためには、Result.mapErrorに対して結局where U == Neverのオーバーロードが必要になるから

8:55 AM

定義回数を減らすためにはやっぱりResult<T,Never>.get()はあったほうがよさそう

8:56 AM

Resultを作る側で対応しようとするとそのたびにオーバーロードが必要

8:57 AM

typed throwsだとResultに限らず全部タダでついてくるのでベスト

8:57 AM

そもそもtyped throwsうまくいくのかイマイチ想像つかんけど・・・