Is there a wiki article that explains how to do: “...

# arrow

[CLOVIS]

Is there a wiki article that explains how to do:
“I have two different classes that have the same function, but they were written by two different people and therefore don't implement a common interface. How can I write an extension interface so that I can then use polymorphism on these classes”

From reading the wiki and discussing here, I understand that this is pretty much spot on what typeclasses are used for, but I'm not really sure what the syntax would look like (especially with Arrow Meta).

I think it could be very convenient if there was a wiki page with small self-contained use-cases like this one, what do you think?

[raulraja]

Hi Clovis, Yes, se will add that on the first release of meta. @Rachel is currently updating arrow to 1.4 and we will replace the typeclasses mechanism currently based on kapt for meta proofs that project syntax

[raulraja]

The documentation will include a reference tutorial to create your own proofs among which type classes is supported as simple extension proof that fulfils your use case. Extend a type you don't own adhoc projecting it's syntax over any other type

[CLOVIS]

Thanks a lot! Is there a way to get notified when this is written? (Eg. Repo on GitHub, mailing list...)

[raulraja]

It will be announced here on Twitter and everywhere we can 😅

[raulraja]

the @arrow_kt Twitter account for all official updates is perhaps the best source

[CLOVIS]

Thanks, I'm already following it 👍