addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-crosscrosseditemptyheartfacebookfolderfullheartglobegmailgoogleimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartrashtriangle-downtriangle-uptwitteruseryahoo

Superhero monads, and more equational reasoning

This month, Katie returns to give us a sneak preview of the talk she has been invited to give at Codemania NZ, and Dave Laing gives his first talk at BFPG, going deeper into laws and equational reasoning in Haskell and Coq.

Space might be limited, so get your RSVP in now!

Monads to the Rescue

Katie Miller

Monads are sometimes spoken of like villains with an evil plan to turn programmers' brains to mush. This talk will reveal that monads are actually superheroes and show how they can save your Hello World and beyond from great perils. The presentation will cover some of the basics of the functional programming paradigm before focusing on a select squad of monadic heroes. There will be examples shown in Java 8 as well as Haskell.

Katie Miller is a Java developer at Red Hat and a BFPG organiser. The former journalist can write copy, code, and copy that looks like code, churning out shorthand notes at up to 120 words per minute. Producing code that reads like copy is among her ongoing endeavours.

Laws and Equations and Coq! Oh, My!

David Laing

Haskell isn't able to determine whether Monoid and Functor instances satisfy the appropriate laws, but that doesn't mean it can't be done. This talk will walk step by step through the process of using equational reasoning to prove that the Monoid and Functor laws hold for their list instances. We'll then look at how to verify these laws using Coq, and at the Haskell code extracted from the Coq proof.

Dave wrote code for a few years, did a PhD in theoretical computer science, then continued to write code. Most recently he's been feeding his bank account by coding in C++ and feeding his mind by coding in Haskell.

Join or login to comment.

  • Katie O.

    A video of (the conference version of) my talk is now on YouTube at Slides are at

    May 14, 2013

  • Rob M.

    Clarification: Video of David's talk is available here:

    1 · March 27, 2013

    • Ben K.

      Wow, you even managed to capture the Coq IDE stuff at the end in a legible fashion! That's awesome; thanks Rob!

      March 28, 2013

  • Rob M.

    Video is available here:

    March 27, 2013

  • Andrew N.

    Just thought I'd point out a pattern I've seen - both speakers did it last night - where you defer answering questions to a few experts. If you've just given a talk - you should take questions - it's part of being a speaker - it really undercuts your authority (which is part of communicating well). Especially, if you think you know but aren't sure - dive in and give it a go.

    March 27, 2013

    • techtangents

      That said, it is good to be able to defer to experts if you're geniunely stumped.

      March 27, 2013

  • Mark P.

    This was a great meetup. The talks were fantastic and were a credit to Katie and Dave.

    March 27, 2013

  • Aran E.

    Great meetup enjoyable and informative..Cheer!

    March 27, 2013

  • Ben K.

    Two awesome talks. Thanks Katie & Dave!

    1 · March 26, 2013

  • Nick P.

    For those of us who ride, any chance we can bring a bike up the steps?

    March 26, 2013

    • Matthew B.

      Yeah, just bring your bike upstairs. We'll find a home for it. Probably easiest to use the lift, so you don't have to fight with fire doors. :-)

      March 26, 2013

  • Matthew B.

    Just a last minute reminder that we're in a new venue tonight! We'll see you at Red Hat, level 1, 193 North Quay, Brisbane. Enter from Herschel Street. There are stairs to level one through the fire door to the right of the lifts. Call or text me at[masked] if you get lost, or need someone to bring you up in the lift. See you there!

    March 26, 2013

  • Fraser T.

    cannot make it this month #sadface

    March 25, 2013

  • Rob M.

    Videocam duties assumed

    March 19, 2013

  • A former member
    A former member

    I won't be able to make it into town.

    March 19, 2013

  • techtangents

    Really excited about David's talk! This sounds like a great follow-up to the talk Nick gave on laws.

    February 27, 2013

47 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