A modern programming language that makes developers happier.

kotlinlang

Are there any plans to support either Higher Kinds, implicits or some kind of typeclass support in Kotlin?

AFAIK no, no plans for those features is planned

<@U0B87PEHK> <@U4UGS5FC7> they plan to implement something similar <https://discuss.kotlinlang.org/t/extension-types-for-kotlin/1390/26>

Indeed, read it when it was fresh. Dunno how long will it take. I reckon that there are other concerns now

that wouldn't solve the issue to obtain values from types that are generic and parameterized right?

For example if you wanted to get `Monoid&lt;F&gt;` where F is sometimes String or Int. There is currently no way in Kotlin to write any kind of polymorphic code without emulating HigherKinds like derive4j

Monoid perhaps is not a good example but `Monad&lt;F&gt;` where F is something like `List` We can't refer to Higher Kinds without emulating them and there is no way for me to generically get an instance of a Monad&lt;F&gt; without explicitly passing it around. This makes typed FP in Kotlin not very practical at the moment.

Also <@U0B87PEHK> I looked at funKTionale, great stuff :clap:

Thank you, WIP still, may things to refine and document