Ken Scambler

Share

Lead Developer at REA Group, co-organiser of Melbourne Scala
github.com/kenbot
@KenScambler

Ken is a Melbourne-based FP enthusiast, who writes and speaks about programming, type systems, maths and other fun things. By day, he’s a Lead Developer at REA Group, and helps run the Melbourne Scala User Group.

YOW! Lambda Jam 2016 Brisbane

Data Made out of Functions, for Faster Monads

TALK –  VIEW SLIDES

We’ll look at the remarkable technique of Church encoding, whereby any data structure or programming concept can be represented using nothing but the magic sauce of lambda functions! After the talk, you’ll know how to Church encode arbitrary structures yourself, and how it can actually yield huge performance gains, in particular when applied to free monads.

In the subsequent workshop, we’ll reinvent boolean and integer arithmetic, lists and free monads from scratch, Church encoding them in Haskell.


Data Made out of Functions, for Faster Monads

WORKSHOP/JAM

We’ll look at the remarkable technique of Church encoding, whereby any data structure or programming concept can be represented using nothing but the magic sauce of lambda functions! In this workshop, we’ll reinvent boolean and integer arithmetic, lists and free monads from scratch, Church encoding them in Haskell.

Prerequisites: For the workshop, Haskell Stack and a text editor. A github repo will be made available closer to the conference date.