Recursion Schemes

Speaker: Tim Williams

In this talk, we'll explore both the theory and practice of various recursion schemes applied to real world problems. We'll also demonstrate how we can achieve compositional data-types and data-type generic programs by modelling our recursive types as fixed points of functors. The talk will feature an abundance of code, starting with simple list examples and quickly moving on to more problematic topics, such as program analysis, optimisation, memoization, templating and more.

Tim Williams has worked as software developer in the city of London for over 10 years, prior to that he worked as a research physicist specialising in computer simulation. He is an active member of the London Haskell community and has recently started to develop in Haskell professionally.

Level: Beginner/Intermediate


Join or login to comment.

  • Paul B.

    I've collected links for all the references: https://gist.github.com/threedaymonk/5265258

    1 · March 28, 2013

  • Daniel H.

    Thanks for the slides-I was unable to make it last night but the it looks very interesting. I'm hoping the talk will appear on the YouTube channel!

    March 28, 2013

  • Theo O.

    Agree that the talk was not for beginners.
    Haskell is awesome, it makes my feel stupid.

    March 28, 2013

  • A former member
    A former member

    Hi Everyone

    I hope this isn't in contravention to the rules - I am a headhunter working on a search for Haskell developers in Asia (Singapore and China). My client has an interest in Computer Scientists with Haskell expertise (be it as a hobby, commercial developer or research). They do offer a good relocation package too.

    Please pop me an email if you'd like to know more. [masked] and I will get back to you.

    Thanks

    James

    March 28, 2013

  • Tim W.

    Unfortunately I wrote the abstract before the talk. In retrospect it should have perhaps said Intermediate/Advanced.

    March 28, 2013

  • Ben F.

    My head exploded.

    March 28, 2013

  • John W.

    Any talk involving fixed points of functors and category theory is just my cup of tea.

    March 28, 2013

  • Tim W.

    Thanks all for listening and asking great questions. I've posted links to the slides and the literal Haskell source on my blog: http://www.timphilipwilliams.com/slides.html

    March 27, 2013

  • Oliver C.

    ALRIGHT!

    1 · March 4, 2013

People in this
Meetup are also in:

Create your own Meetup Group

Get started Learn more
Allison

Meetup has allowed me to meet people I wouldn't have met naturally - they're totally different than me.

Allison, started Women's Adventure Travel

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