Free Monad Sample

Welcome to Free Monad Sample.

This is an exercise to play around with Free Monad to understand better the concept, uses, and limitation of Free Monad.

Relevant blog posts and sources

The following links sources been used to document myself on Free Monad, and may help you understand the concept better:

• Cats definition (very good explanation): http://typelevel.org/cats/datatypes/freemonad.html
• Free Monad technical explanation: http://okmij.org/ftp/Computation/free-monad.html
• Tim Perrett's blog post (uses Scalaz): http://timperrett.com/2013/11/21/free-monads-part-1/
• Underscore post by Noel Welsh: http://underscore.io/blog/posts/2015/04/14/free-monads-are-simple.html
• A second post by Noel Welsh: http://underscore.io/blog/posts/2015/04/23/deriving-the-free-monad.html
• The always useful Tutorial for Cats: http://eed3si9n.com/herding-cats/Free-monads.html
• A year living Freely by Chris Myers: https://www.youtube.com/watch?v=rK53C-xyPWw
• A post by John A De Goes (using Haskell) http://degoes.net/articles/modern-fp

Tools and Libraries used

Project created using sbt-fresh

Cats library used for its Free Monad implementation

FreeK library to implement an example of Free Monads using this library

Contribution policy

Contributions via GitHub pull requests are gladly accepted from their original author. Along with any pull requests, please state that the contribution is your original work and that you license the work to the project under the project's open source license. Whether or not you state this explicitly, by submitting any copyrighted material via pull request, email, or other means you agree to license the material under the project's open source license and warrant that you have the legal authority to do so.

License

This code is open source software licensed under the Apache 2.0 License.