addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

BFPG Monthly Meetup

  • Oct 11, 2016 · 5:45 PM
  • NICTA Queensland

Thinking with Types - Ben Kolera

A core restriction of functional programming is that functions can only use their inputs to calculate their output and thus must always return the same output for a given input. This has the lovely effect that we can reason about what a function does purely by the the types of their inputs and outputs and use that knowledge when refactoring and composing functional programs.

The types are our key to reducing the possibilities of inputs and outputs of our functions. As we reduce the possibilities and weaken what our function can actually do, we make our function easier to reasonable about and thus easier to safely compose. In this talk, we will go through the tools that we have in the purescript programming language to make this local reasonability more and more powerful.

• Product types
• Sum types
• Parametricity
• Parametricity + Typeclasses
• Extensible Effect Tracking

This should be a beginner level talk that will presume no knowledge of purescript, FP or haskell like syntax.

Lightning Talks

We don't currently have a second talk scheduled, so feel free to come along with a lightning talk (or volunteer for a 1/2 sized (15-25 mins) or a full sized (30-50 mins) talk if you have one. It's either that or our second talks are at the pub over a beer. :)

Join or login to comment.

Our Sponsors

  • iseek Communications

    Coverage of the cost of pizza for attendees


    Venue sponsor, and provides pizzas and drinks for Hack Nights

  • Ephox

    Co-Sponsors pizza for the meetups.

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