Types are Documentation and Clojure from the Trenches

Nov 26, 2013 · Brisbane City, Australia

Join us for the last monthly BFPG of 2013 with talks from Tony and from a new speaker Hugo Firth.

Parametricity (Types are Documentation) by Tony Morris

Philip Wadler tells us, Write down the definition of a polymorphic function on a piece of paper. Tell me its type, but be careful not to let me see the function's definition. I will tell you a theorem that the function satisfies.

Danielsson, Hughes, Jansson & Gibbons tell us, Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify such reasoning.

What does this mean and how might it be applied?

Clojure from the Trenches by Hugo Firth

Hugo has had some recent experience working on an enterprise Clojure project as a junior developer with no prior exposure to FP.

His talk will share his team's experience and discuss some of the pain points that they encountered. This includes:- learning clojure, leiningen and emacs as quickly as possible- unit tests vs repl- managing configurations- unit testing code with side effects

Event organizers
  • Brisbane Functional Programming Group (BFPG)

    We're a group of passionate geeks looking to learn more about functional programming and how it can help us in our professional lives. Members range from absolute beginners through to advanced users. Everyone at any level is welcome to attend and/or speak. Monthly meetups are sponsored and pizza is provided. Lots of us hang out in the #bfpg IRC channel on Freenode, and are happy to answer qu...

    Recent Events

Are you organizing Types are Documentation and Clojure from the Trenches?

Claim the event and start manage its content.

I am the organizer

based on 0 reviews