Brisbane Functional Programming Group (BFPG)

Featured Meetup

Laws for Folds and Theorems for Free + The Aeson JSON Parser

  • Suncorp Office - Brisbane Square

    Level 28 - 266 George St, Brisbane (map)

    -27.470636 153.022293

  • Please be sure to make it before 18:00 else you'll be locked in the foyer. Call Ben on [masked] if you get stuck. :)

    The Aeson JSON Parser by Fraser Tweedale

    JSON is everywhere. Developers often need to work with JSON serialisations of nonstandard data types, and aeson makes it fast and easy to do this in Haskell.

    Fraser will introduce aeson and demonstrate basic use before recounting his experiences using aeson in a web crypto library. The talk will wrap with an overview of aeson's advanced features and a comparison with some other JSON libraries.

    A basic understanding of types and typeclasses in Haskell or similar languages is assumed.

    Fraser drank the FP Flavor Aid. His day job is Ruby and Javascript but functional code keeps creeping in and he considers this a Good Thing.

    Laws for Folds and Theorems for Free by David Laing

    The laws associated with typeclasses are often expressing information that the type system cannot.  There are also many laws that come directly from the types of various functions.

    We'll look at the fold fusion law, which we'll derive, and the laws that arise from it.  This talk will cover those laws and an example of using them to transform a small program to improve the performance of a program while preserving the semantics.

    We'll also look at natural transformations, which describe relationships between functors, and "free theorems", which can be derived solely from the types of polymorphic functions.

Join or login to comment.

  • Oliver Reeves (OJ)
    Oliver Reeves (OJ)

    I won't be in QLD at the time!

    3 days ago

  • Rob Manthey
    Rob Manthey

    Usual video duties assumed unless advised otherwise.

    3 days ago

  • Richard Glew
    Richard Glew

    Meeting room at Brisbane Square is booked. Steve will pass along the details.

    5 days ago

    • Ben Kolera
      Ben Kolera

      How will we be for having a lift pass in your absence? :)

      5 days ago

  • Richard Glew
    Richard Glew

    Unfortunately I will be in Sydney that night now so am unable to attend.

    5 days ago

  • Katie Miller
    Katie Miller

    Unfortunately I can't make it this month.

    June 12

5 days left!

Will you attend?

Join and RSVP

31 attending

39 spots available

7 not attending

(see all)

Our Sponsors

Functional IO

We're covering the costs of bringing the guest speaker from Sydney.

iSeek Communications

Coverage of the cost of Pizza for the attendees.

People in this
Meetup are also in:

106,879,896 RSVPs!
hide

Log in

Not registered with us yet?

Forgot your password?

or

Sign up

Meetup members, Log in

or
By clicking the "Sign up using Facebook" or "Sign up" buttons above, you agree to Meetup's Terms of Service