addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgoogleimageimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Introduction to Haskell III + Free Monads are good for you

Introduction to Haskell III by Matthew Brecknell

While completing HW 2, you probably spent a lot of time writing explicitly recursive functions. At this point, you might think that’s what Haskell programmers spend most of their time doing. In fact, experienced Haskell programmers hardly ever write recursive functions!

How is this possible? The key is to notice that although recursive functions can theoretically do pretty much anything, in practice there are certain common patterns that come up over and over again. By abstracting out these patterns into library functions, programmers can leave the low-level details of actually doing recursion to these functions, and think about problems at a higher level—that’s the goal of wholemeal programming.

This lecture will cover these recursive patterns, the haskell abstractions that make them possible and where to find these library functions in the prelude. We'll also take a tangent into the different between total and partial functions and why you should care about the difference.

Free monads are good for you by David Laing

This talk will begin with a pragmatic introduction to free monads, covering how to create them, how to make use of them, and why they're useful.

The rest of the talk will cover how and why they work, along with some useful related ideas.  This will be interspersed with shallow but energetic dives into the more theoretical parts of Haskell, to help build intuition for what is going on behind the scenes. 

The theoretical sidebars aren't just to dazzle, delight and amaze - they will also help to show how a handful of theoretical concepts can be combined into something of incredible practical use.

Join or login to comment.

  • Ken S.

    I'd love to see any slides or videos, if they're available!

    April 22, 2014

    • Steven S.

      They're up. Thanks Rob!

      April 26, 2014

  • Rob M.

    Dave's Free Monads video is up here:
    https://vimeo.com/92992647
    (It's still converting as I post this)

    2 · April 26, 2014

  • Rob M.

    Matt's Yorgey Haskell Intro Part 3 is up here: https://vimeo.com/92976563
    Dave's should also be up later today.

    3 · April 26, 2014

  • Dave L.

    Slides and code are up here: https://github.com/dalaing/bfpg-2014-04

    The networked version of the interpreter is still pending while I remain in super-relaxed-holiday-mode.

    1 · April 24, 2014

  • Ben K.

    Doors are locked now. If you get stick call 0488145427. :)

    April 22, 2014

  • Ashley D.

    I've been enjoying the Haskell lectures, but this time around I'll be on holiday. I plan to watch the video and catch up later.

    April 16, 2014

  • Rob M.

    Usual video deal

    April 2, 2014

Our Sponsors

  • iseek Communications

    Coverage of the cost of pizza for attendees

  • NICTA

    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