<https://twitter.com/JorgeCastilloPr/status/126589...

# arrow

[raulraja]

https://twitter.com/JorgeCastilloPr/status/1265895432129056768

[PhBastiani]

Great presentation thx Raul.
Is-it possible to mix features (e.g. higherkind with union type) ?

[raulraja]

yes, though I have a plan to remove kinds all around

[raulraja]

Top level abstract functions

[raulraja]

with support for kind polyorphism and proof becomes structural based on member or extension functions

[raulraja]

then specialized in codegen from the inlined polymorphic template

[raulraja]

This will free us from interfaces and type classes and also kinds

[raulraja]

in whatever case you can mix all the features a la carte

[raulraja]

unions are not an implementation but a bunch of polymorphic cohercion proofs in the prelude module in meta

[raulraja]

so the base system is just the curry howard correspondence + arbitrary strategies to interact with typechecking and codegen

[raulraja]

unions is just a biproduct of that 🙂

[raulraja]

so are tuples, implicits, refinement and typeclasses

[raulraja]

they are all built on top of programs as proofs

[PhBastiani]

No kindedj at all... Great news ! Coercions will become the core of Arrow. Can't wait

[Thomas]

Hi Raul, I watched your talk during lunch today… very interesting and I’m impressed by the capabilities you’re integrating into the compiler/ide/language.

Regarding your comment above about “I have a plan to remove kinds all around”, where can I go to learn more about what that means?