# lambda-talk

**Repository Path**: sigcc/lambda-talk

## Basic Information

- **Project Name**: lambda-talk
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: MIT
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2021-11-17
- **Last Updated**: 2021-11-17

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

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