https://github.com/glebec/lambda-talk

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
https://github.com/glebec/lambda-talk

church-encodings combinators combinatory-logic composition currying functional-programming javascript lambda-calculus mathematics theory-of-computation

Last synced: 3 days ago
JSON representation

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

• Host: GitHub
• URL: https://github.com/glebec/lambda-talk
• Owner: glebec
• License: mit
• Created: 2017-08-24T22:10:29.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2024-02-03T03:40:31.000Z (9 months ago)
• Last Synced: 2024-10-31T00:03:11.678Z (5 days ago)
• Topics: church-encodings, combinators, combinatory-logic, composition, currying, functional-programming, javascript, lambda-calculus, mathematics, theory-of-computation
• Language: JavaScript
• Homepage: https://glebec.github.io/lambda-talk
• Size: 476 KB
• Stars: 514
• Watchers: 18
• Forks: 42
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

        
# 𝜆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](https://glebec.github.io/lambda-talk) for a formatted version of the code.

The runnable JS file is in [`src/index.js`](src/index.js). Execute the file is by cloning this repo and running `npm start`. Or, view the REPL [here](https://repl.it/Jgu4/236).

## 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

[![Lambda as JS, or A Flock of Functions: Part I](https://img.youtube.com/vi/3VQ382QG-y4/0.jpg)](https://www.youtube.com/watch?v=3VQ382QG-y4&list=PLpkHU923F2XFWv-XfVuvWuxq41h21nOPK&index=1)

### Part II

[![Lambda as JS, or A Flock of Functions: Part I](https://img.youtube.com/vi/pAnLQ9jwN-E/0.jpg)](https://www.youtube.com/watch?v=pAnLQ9jwN-E&list=PLpkHU923F2XFWv-XfVuvWuxq41h21nOPK&index=2)

### Slides

[Click to view the original slide deck.](https://speakerdeck.com/glebec/lambda-as-js-or-a-flock-of-functions-combinators-lambda-calculus-and-church-encodings-in-javascript)

[![Lambda as JS - Presentation Cover Image](assets/lambda-talk.jpg)](https://speakerdeck.com/glebec/lambda-as-js-or-a-flock-of-functions-combinators-lambda-calculus-and-church-encodings-in-javascript)

**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](https://speakerdeck.com/glebec/lambda-calc-talk-smartly-dot-io-version).

## Additional Resources

* [_Combinator Birds_ · Rathman](http://bit.ly/2iudab9)

* [_To Mock a Mockingbird_ · Smullyan](http://amzn.to/2g9AlXl)

* [_To Dissect a Mockingbird_ · Keenan](http://dkeenan.com/Lambda)

* [_A Tutorial Introduction to the Lambda Calculus_ · Rojas](http://bit.ly/1agRC97)

* [_Lambda Calculus_ · Wikipedia](http://bit.ly/1TsPkGn)

* [_The Lambda Calculus_ · Stanford](http://stanford.io/2vtg8hp)

* [_History of Lambda-calculus and Combinatory Logic_ · Cardone, Hindley](http://bit.ly/2wCxv4k)

* [_An Introduction to Functional Programming through Lambda Calculus_ · Michaelson](http://amzn.to/2vtts56)