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