Superhero monads, and more equational reasoning
- March 26 · 5:45 PM
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.
-
Katie Miller
A video of (the conference version of) my talk is now on YouTube at http://www.youtube.com/watch?v=...
. Slides are at http://monads.codemiller.com.May 14
-
Rob Manthey
Clarification: Video of David's talk is available here: https://vimeo.com/62757082
1 · March 27
-
-
Ben Kolera
Wow, you even managed to capture the Coq IDE stuff at the end in a legible fashion! That's awesome; thanks Rob!
March 28
-
-
-
Andrew Newman
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
-
-
techtangents
That said, it is good to be able to defer to experts if you're geniunely stumped.
March 27
-
-
Mark Perry
This was a great meetup. The talks were fantastic and were a credit to Katie and Dave.
March 27
-
-
-
-
-
Matthew Brecknell
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
-
-
Matthew Brecknell
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
-
-
-
-
-
-
techtangents
Really excited about David's talk! This sounds like a great follow-up to the talk Nick gave on laws.
February 27
47 attended
-
-
Katie Miller +1
Co-Organizer
-
Matthew Brecknell
Co-Organizer
-
-
-
-
-
-
-
-
Paul O'Keeffe
Checked-in
-
-
-
-
-
Steven Shaw
Co-Organizer
-
-
-
-
-
-
-
-
-
-
-
-
Gareth Marshall
Checked-in -
-
Aran Elkington
Checked-in -
Mark Perry
Co-Organizer
-
Simon Baird
Checked-in -
-
-
-
-
Nick Partridge
Co-Organizer
-
-
-
-
-
Join or login to comment.