Kotlin edition

[CLOVIS-AI]

Hi!

I would be interested in translating the code examples to Kotlin.

Would you be open to adding a Kotlin edition in this repository, or should I do so in my own fork?

[drupol]

A priori, there shouldn't be any issue... but I'll let my other colleagues decide.

[hmemcpy]

Many years ago there was an attempt by the Arrow folks to convert the book to Kotlin but I believe that effort was abandoned. You're welcome to use it as a reference https://github.com/arrow-kt/Category-Theory-for-Programmers.kt

[CLOVIS-AI]

Interesting! I'm in touch with them, they're actually the ones who introduced me to category theory years ago. I know they had many difficulties because Kotlin doesn't have type classes, but the recent addition of context parameters seems like it can emulate some parts of them. I'll ask the Arrow contributors what they think.