glebec / Lambda Talk
Licence: mit
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Stars: ✭ 315
Programming Languages
javascript
184084 projects - #8 most used programming language
Projects that are alternatives of or similar to Lambda Talk
Lambda
🔮 Estudos obscuros de programação funcional
Stars: ✭ 297 (-5.71%)
Mutual labels: lambda-calculus, functional-programming
Church
⛪️ Church Encoding in JS
Stars: ✭ 107 (-66.03%)
Mutual labels: lambda-calculus, functional-programming
Plam
An interpreter for learning and exploring pure λ-calculus
Stars: ✭ 385 (+22.22%)
Mutual labels: lambda-calculus, functional-programming
Functionalplus
Functional Programming Library for C++. Write concise and readable C++ code.
Stars: ✭ 1,286 (+308.25%)
Mutual labels: composition, functional-programming
Curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Stars: ✭ 229 (-27.3%)
Mutual labels: lambda-calculus, functional-programming
Swift Gen
🎱 Composable, transformable, controllable randomness.
Stars: ✭ 208 (-33.97%)
Mutual labels: composition, functional-programming
Lambda
Fun with λ calculus!
Stars: ✭ 65 (-79.37%)
Mutual labels: lambda-calculus, functional-programming
Bugz
🐛 Composable User Agent Detection using Ramda
Stars: ✭ 15 (-95.24%)
Mutual labels: composition, functional-programming
Kind
A modern proof language
Stars: ✭ 2,075 (+558.73%)
Mutual labels: lambda-calculus, functional-programming
Combinators Js
🐦 Some combinators
Stars: ✭ 114 (-63.81%)
Mutual labels: lambda-calculus, functional-programming
Not Awesome Es6 Classes
A curated list of resources on why ES6 (aka ES2015) classes are NOT awesome
Stars: ✭ 1,185 (+276.19%)
Mutual labels: composition, functional-programming
Dslsofmath
Domain Specific Languages of Mathematics
Stars: ✭ 159 (-49.52%)
Mutual labels: mathematics, functional-programming
Json Decoder
Type safe JSON decoder for TypeScript
Stars: ✭ 67 (-78.73%)
Mutual labels: composition, functional-programming
Magic In Ten Mins
十分钟魔法练习
Stars: ✭ 327 (+3.81%)
Mutual labels: lambda-calculus, functional-programming
Redash
Tiny functional programming suite for JavaScript.
Stars: ✭ 40 (-87.3%)
Mutual labels: composition, functional-programming
Fp Core.rs
A library for functional programming in Rust
Stars: ✭ 772 (+145.08%)
Mutual labels: lambda-calculus, functional-programming
Swift Web
🕸 A collection of Swift server-side frameworks for handling HTML, CSS, routing and middleware.
Stars: ✭ 415 (+31.75%)
Mutual labels: composition, functional-programming
Bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (+70.79%)
Mutual labels: composition, functional-programming
Y Combinator For Non Programmers
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
Stars: ✭ 109 (-65.4%)
Mutual labels: lambda-calculus, functional-programming
Category Theory Programmers
Category theory in the context of (functional) programming
Stars: ✭ 465 (+47.62%)
Mutual labels: mathematics, functional-programming
𝜆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
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].