𝜆as.js, or A Flock of Functions

Combinators, Lambda Calculus, and Church Encodings in JavaScript

This repo contains notes and runnable examples of the lambda calculus as expressed through JavaScript.

Contents

Visit https://glebec.github.io/lambda-talk for a formatted version of the code.

The runnable JS file is in src/index.js. Execute the file is by cloning this repo and running npm start. Or, view the REPL here.

Presentation

This repo was created as an accompaniment to a lecture talk given at Fullstack Academy of Code on 2017-08-24. You can view videos of that talk (in two parts) below:

Part I

Part II

Slides

Click to view the original slide deck.

Update: the first part of the presentation has been slightly modified over time; the deck used for the 2019-10 Smartly.io DevTalks can be seen here.

Additional Resources

• Combinator Birds · Rathman
• To Mock a Mockingbird · Smullyan
• To Dissect a Mockingbird · Keenan
• A Tutorial Introduction to the Lambda Calculus · Rojas
• Lambda Calculus · Wikipedia
• The Lambda Calculus · Stanford
• History of Lambda-calculus and Combinatory Logic · Cardone, Hindley
• An Introduction to Functional Programming through Lambda Calculus · Michaelson