add-memberalign-toparrow-leftarrow-rightbellblockcalendarcamerachatchevron-leftchevron-rightchevron-small-downchevron-upcircle-with-crosscomposecrossfacebookflagfolderglobegoogleimagesinstagramkeylocation-pinmedalmoremuplabelShape 3 + Rectangle 1pagepersonpluspollsImported LayersImported LayersImported LayersshieldstartwitterwinbackClosewinbackCompletewinbackDiscountyahoo

Types are Documentation and Clojure from the Trenches

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

Join or login to comment.

  • Rob M.

    Getting tired of this link not rendering right ...
    Tony's talk:

    1 · November 29, 2013

    • Rob M.

      Sorry Mark and Christpherys, it didn't pass the type checker! Ho ho ho! ;)

      December 24, 2013

    • Tony M.

      I made a few mistakes that I want to correct first. Sorry.

      January 2, 2014

  • Rob M.

    Note that Tony's talk was locked down after it was put up, as Tony wanted to reserve the talk's content for a future audience. That moment may have now passed, so let's ask Tony if we can release it now.

    December 24, 2013

  • Rob M.

    Hugo's talk: just click the link provided.
    Tony's talk: not available just yet. The link will not work.

    December 1, 2013

  • A former member
    A former member

    Hi all, it would be great if I could get some feedback about my presentation last night. I'd like to know what you liked and what I could have done better.

    November 27, 2013

    • Kristian

      First of all, thanks for doing the talk. I could certainly relate to some of the pain points that you presented. However, I guess I was expecting to see more content about FP in Clojure and perhaps what an untyped language can bring to the table. IMO, the content about building and deploying would have been more suitable for a Clojure specific group. Anyway, that's just my 2c

      November 28, 2013

    • A former member
      A former member

      Thanks! I agree completely about the content being more suitable for a Clojure group

      November 29, 2013

  • Rob M.

    Sorry, I'm just taking Tony's talk offline until he's ready to clear it for release.

    November 29, 2013

  • Rob M.

    Hugo's video is up here now:

    1 · November 29, 2013

  • Ben K.

    If you get stuck or lost, call me on[masked]! :)

    November 26, 2013

  • Rob M.

    Usual video duties

    3 · November 25, 2013

  • Darren M.

    November 20, 2013

Our Sponsors

  • iSeek Communications

    Coverage of the cost of pizza for attendees


    Venue sponsor, and provides pizzas and drinks for Hack Nights

  • Red Hat

    Venue sponsor

  • Skedulo

    Coverage of the cost of pizza for attendees

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