Kotlinの新しいエラーハンドリング「Rich Errors」 - Don't Repeat Yourself

先日より開催されていたKotlinConfで、新しいエラーハンドリング「Rich Errors」についての言及がありました。従来のように例外を使用するのではなく、エラーを値として扱えるようにする新機能です。聴き逃しているだけかもしれませんが、まだリリース予定などは立っておらず、機能を設計中の段階なのではないかと思われます。 私はもともとKotlinのエラーハンドリングはなかなか悩ましいなと思っていた節があり、ずいぶん前からKEEP上での議論を追うなどしてキャッチアップしていました。最近同僚ともエラーハンドリングに関する決め事をあれこれするために議論しており、私自身はエラーハンドリングに対する関心が高いです。 私の所感としては、Kotlinの言語設計によく合ったエラーハンドリングの方式が採用されそうで非常に楽しみにしています。最近の議論ではともすればモナドであるとか、Result<T, E>

[nauthiz]

]

[kei2100]

“エラーはまず回復可能なケースのためにデザインされます。つまりそのエラーが出るとシステムが復旧不可能になるものは、引き続き例外を利用するということです。”

[SWIMATH2]

特殊な文化圏な感じしておもろいな

[atsushieno]

こっち見てなかったから詳しくは追っていないけど、Union Typesはまだ設計中みたいな話がday 2のtype inferenceのセッションで出てくるし前提条件が整ってないこともわかる https://www.youtube.com/live/XJ9fq-PYCWk?si=bLkFBFSOJDLomz0u&t=8815

[efcl]

Kotlinのunion的なerrorを値と表現するRich ErrorsのProposalについて

[mizdra]

型階層に変更加えるのなるほど