A modern programming language that makes developers happier.

kotlinlang

Hello, mates. Learning Scala, correct me if I'm not right: if `Kotlin` compiler had such feature like `implicit` in `Scala`, there would be less work for people who do `Arrow Meta`? This `Scala` feature looks very useful.

Yes indeed. But actually the story is the other way around:

The arrow team made a proposal for a language change to introduce a kind-of implicits feature -&gt; <https://github.com/Kotlin/KEEP/pull/87>

Although they also opted to work on a compiler plugin to perform the same thing, and even more, which is Arrow-Meta itself

The benefit of the plugin is that you can achieve I believe more or less the same thing as with the keep but with 2 big advantages as far as I see:

• you can build implicit resolution and many more features, all modular and as separate plugins: Union types, intersection types, type proofs, impure checkers, etc
• the plugins are modular and explicitly opt-in, so you don't have to go through a language update with all the communication, docs, etc for *all* devs

Thanks for such a detailed answer, <@U0DHVHB5W>. You guys do great things, best luck. I'll keep an eye and resend my CV to `47deg` :slightly_smiling_face: