A modern programming language that makes developers happier.

kotlinlang

The first KEEP on rich errors is now open for public review: <https://github.com/Kotlin/KEEP/discussions/447>
It mainly covers our motivation behind the feature but also outlines the core design rules

<https://github.com/Kotlin/KEEP/discussions/447#discussioncomment-14215121|https://github.com/Kotlin/KEEP/discussions/447#discussioncomment-14215121>
If return type `User | Error` translates to Java Object, would it mean "Kotlin "two way integration with Java" pitch will be degraded ?

Not really, no. They could have chosen to mangle the function names like they did with inline value classes and provide zero visibility from Java.

<@U01HR340W10> <https://youtu.be/3uNpmhHwkuQ?t=44m3s|https://youtu.be/3uNpmhHwkuQ?t=44m3s>

Ok, thanks, got it. Sacrificing interop for Kotlin's own experience