Awesome
饾渾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