align-toparrow-leftarrow-rightbackbellblockcalendarcamerachatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-crosscrosseditfacebookglobegoogleimagesinstagramlocation-pinmagnifying-glassmailmoremuplabelShape 3 + Rectangle 1outlookpersonplusImported LayersImported LayersImported Layersshieldstartwitteryahoo

Melbourne Haskell Users Group Meetup

Ken Scambler will present a talk on Free Monads.

Join or login to comment.

  • Lyndon M.

    I found a neat little example of a compiler using free monads on stack overflow:

    April 1, 2014

    • Ken S.

      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.

      April 2, 2014

  • Ken S.

    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
    -, 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

    • Ken S.

      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.

      March 28, 2014

  • Ken S.

    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.

    March 25, 2014

  • Lyndon M.

    Hi all.

    If there isn't another presentation ready for Thursday, I'll put together something on historical cryptographic algorithms.

    March 24, 2014

  • Lyndon M.

    Hi Haskellers!

    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!

    February 28, 2014

8 went

Our Sponsors

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy