A modern programming language that makes developers happier.

kotlinlang

Very interesting JVMLS talk on "typeclasses" in Java: <https://www.youtube.com/watch?v=Gz7Or9C0TpM>.  If it does make it into the language it's likely to come into Kotlin in some form for interop, and it's also something that Kotlin can't really do at the moment.

Disclaimer: I haven't watched the video yet
We can get kinda close with contexts. We need some `given` mechanism like Scala has and then we'd be able to do typeclasses and more. I was briefly working on <https://github.com/kyay10/koncept|this> before as a revival of <https://github.com/arrow-kt/arrow-proofs/tree/main|arrow proofs>, but I didn't get far at all.
The issue is resolving typeclasses. It can be a slow and confusing process.

Yeah, that's essentially what the video's about :grin: