Is there a document somewhere with a comprehensive list of future plans? I've heard about many depre...

# arrow

[CLOVIS]

Is there a document somewhere with a comprehensive list of future plans? I've heard about many depreciations, the Meta plugin removing the need to fix, etc. Is there a list somewhere to explain what major changes are to come?

[raulraja]

Not yet

[raulraja]

But it's coming once we have the first stable release of meta

[raulraja]

Many folk working on that and should be coming soon

[raulraja]

Comes down to type classes, coercion functions, coherent implicits, union types, refined types, product types and inductive derivation as features.

[raulraja]

A few others too like purity and totality checks at compile time will also come gradually

[raulraja]

You can enable in your module any of those

[georg]

Hi @raulraja is there a similar library like Arrow Meta for Bow? Or is something like this currently being developed?

[raulraja]

We discussed some approach but nothing major yet afaik

[georg]

Thanks. I really like Arrow and Bow a lot ❤️ However, it seems Bow is always lacking behind Arrow. Well, perhaps Kotlin Multiplatform could help bring parity

[raulraja]

Bow has some features Arrow still does not have

[raulraja]

For one ad-hoc polymorphism seems to be possible with associated types despite kind emulation

[raulraja]

Also Bow already has Bifunctor IO<E, A>