Details
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
