Ken Scambler will present a talk on Free Monads.
Join or login to comment.
I found a neat little example of a compiler using free monads on stack overflow: http://stackoverflow.com/questions/14081799/cli-shell-script-code-generation-from-compiled-executable
0 · April 1, 2014
Oh, that's a really neat example! I like how he has put pure core of the DSL in a more conventional GADT, and only used the power of FMs where it is required, like wiring together the effecting parts like introducing variables, assignment, etc.
0 · April 2, 2014
That reminds me, I should post my "Further Reading" list:
- Steve Awodey, Category Theory- Runar Bjarnason, Dead Simple Dependency Injection- Runar Bjarnason, Stackless Scala with Free Monads- Dan Doel, Many Roads to Free Monads- Debasish Ghosh, A language and its interpretation: learning Free Monads- Gabriel Gonzales, Why Free Monads matter- Haskell.org, Control.Monad.Free- Tim Perrett, Free Monads Part One- Scalaz, scalaz.Free
I can't be bothered hyperlinking them all right now, but Google knows where they are, anyway :)
And of course there's the tank game and sundry examples in Scala:
1 · March 28, 2014
Slides here (at least for the original Scala version): http://www.slideshare...
0 · March 28, 2014
Thanks for the talk last night Ken. It was really helpful.
I have come across a nice series of blog posts on free monads:http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.htmlhttp://www.haskellforall.com/2012/07/purify-code-using-free-monads.htmlhttp://www.haskellforall.com/2012/07/free-monad-transformers.html
Thanks David! Gabriel Gonzalez' blog posts were part of my source material, and are a good read. He's got a wealth of other great stuff on there too.
I'll repackage my Free Monad talk into Haskell for Thursday if you like. Shouldn't take too long for me to do.
We can maybe have a lower-key hacking focus than the other night though.
0 · March 25, 2014
0 · March 26, 2014
If there isn't another presentation ready for Thursday, I'll put together something on historical cryptographic algorithms.
0 · March 24, 2014
As usual, we're looking for speakers, but this time, we're soliciting for talks a little further in advance.
So... If anyone has any interesting ideas for talks, including the Concurrent and Parallel Haskell talk, get in touch!
0 · February 28, 2014
Next: Invite friends
This is a group for people interested in the Haskell language. We will be providing a space for haskernauts of any skill level to hack, learn and share their experiences in using Haskell.
Venue, Food, Drinks
1,200 open enthusiasts
3,276 Disruptive Startups
Meetup members, Log in