C3e3544e-5445-4267-89ef-4b5774c38b6f

Ken Scambler

Lead Developer at REA Group, co-organiser of Melbourne Scala

Ken is a Melbourne-based FP enthusiast, who writes and speaks about programming, type systems, maths and other fun things. By day, he’s a Lead Developer at REA Group, and helps run the Melbourne Scala User Group.

YOW! Lambda Jam 2014 Brisbane

Run free with the monads: Free Monads for fun and profit

Talk

Free monads are a powerful technique that among other things, can separate the pure representation of code from its interpretation. The representation can be as sophisticated as any imperative program, but totally pure and typesafe! Not only this; once the concepts are understood, applying them is child’s play.

Here we provide an overview of the technique, and show how it can be used to write the AI scripts of a simple tank game in a totally pure and declarative way.

Run free with the monads: Free Monads for fun and profit

Workshop / Jam

Free monads are a powerful technique that among other things, can separate the pure representation of code from its interpretation. The representation can be as sophisticated as any imperative program, but totally pure and typesafe! Not only this; once the concepts are understood, applying them is child’s play.

We will go into depth, exploring the structure, theory, and usage techniques of Free Monads. We’ll do code exercises at every step to grok the concepts, up to the point where we can design and implement totally pure AI scripts and interpreters from scratch for a tank game, and see them run.

If possible, please bring a laptop with SBT preloaded, with a git clone of https://github.com/kenbot/free-yowlj.