Hi! I've written Free monad example using arrow-kt. <https://github.com/eunmin/free-monad/blob/maste...

# arrow

[eunmin]

Hi! I've written Free monad example using arrow-kt. https://github.com/eunmin/free-monad/blob/master/kotlin-example/src/main/kotlin/Main.kt It originally comes from Scala casts docs. https://typelevel.org/cats/datatypes/freemonad.html

[pakoito]

If you'd like, you should PR it to the docs so others know about it! https://github.com/arrow-kt/arrow-core/tree/master/arrow-docs/docs/quickstart/projects

[Gopal S Akshintala]

Hi @eunmin can u pls help me to briefly explain with an example, why and how a free monad is used?

[PhBastiani]

@Gopal S Akshintala: see my 2 gist (with several implementations & explanations)
https://gist.github.com/PhBastiani/26d8734ff33001cb0304df337ea936a1
https://gist.github.com/PhBastiani/a68dadf73da3050f9e4e46fbe981f6da
should be rewrited in a near future for the doc...

[Jörg Winter]

@eunmin
thanks for your (KVStore) example !
Did you name the interpreter 'compiler' for a specific reason ?
Wouldn't 'interpreter' be a better name ?