Iceman

現実的なユースケースをみて無視されてるエラーって今でもたくさんありますよね Intのオーバーフローとか、OOMとか。それらのように無視させるエラーというのは一定数確実に存在していて、やはり型をつけたいエラーは人間が実装するビジネスロジック内のごく少数に限られると思うんですよね

Universal ErrorとRecoverable Errorは区別されていて、その上でtyped throwsが議論の対象としているのはRecoverable Errorだと思います。