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
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
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
Slides here (at least for the original Scala version): http://www.slideshare...
0 · March 28
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
0 · March 26
If there isn't another presentation ready for Thursday, I'll put together something on historical cryptographic algorithms.
0 · March 24
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
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,316 Data Scientists
120 Makers & Creators
1,391 Data Masters and Big Data Folk
537 Star Dusts
I'm surprised by the level of growth I've seen since becoming an organizer, it's given me more confidence in my abilities.
— Katie, started NYC ICO
Act now and get 50% off.Until February 1.
Meetup members, Log in