KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#dsh #dsh-plugin #developer-tools #ai-agent #claude-code #codex #typescript #ai-agents #deepseek-harness #mcp #cli #rust

lambda-talk

★ 532 Open GitHub ↗

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

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# 𝜆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](https://raw.githubusercontent.com/glebec/lambda-talk/master/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)

lambda-talk

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README