{"id":16529343,"url":"https://github.com/glebec/lambda-talk","last_synced_at":"2025-04-05T04:14:12.427Z","repository":{"id":44428114,"uuid":"101341599","full_name":"glebec/lambda-talk","owner":"glebec","description":"A Flock of Functions: Combinators, Lambda Calculus, \u0026 Church Encodings in JS","archived":false,"fork":false,"pushed_at":"2024-02-03T03:40:31.000Z","size":487,"stargazers_count":514,"open_issues_count":0,"forks_count":42,"subscribers_count":18,"default_branch":"master","last_synced_at":"2024-10-31T00:03:11.678Z","etag":null,"topics":["church-encodings","combinators","combinatory-logic","composition","currying","functional-programming","javascript","lambda-calculus","mathematics","theory-of-computation"],"latest_commit_sha":null,"homepage":"https://glebec.github.io/lambda-talk","language":"JavaScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/glebec.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":".github/CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-08-24T22:10:29.000Z","updated_at":"2024-10-30T08:21:22.000Z","dependencies_parsed_at":"2024-10-26T00:28:06.238Z","dependency_job_id":null,"html_url":"https://github.com/glebec/lambda-talk","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/glebec%2Flambda-talk","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/glebec%2Flambda-talk/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/glebec%2Flambda-talk/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/glebec%2Flambda-talk/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/glebec","download_url":"https://codeload.github.com/glebec/lambda-talk/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247284953,"owners_count":20913704,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["church-encodings","combinators","combinatory-logic","composition","currying","functional-programming","javascript","lambda-calculus","mathematics","theory-of-computation"],"created_at":"2024-10-11T17:44:33.158Z","updated_at":"2025-04-05T04:14:12.404Z","avatar_url":"https://github.com/glebec.png","language":"JavaScript","readme":"# 𝜆as.js, or A Flock of Functions\n\n### Combinators, Lambda Calculus, and Church Encodings in JavaScript\n\nThis repo contains notes and runnable examples of the lambda calculus as expressed through JavaScript.\n\n## Contents\n\nVisit [https://glebec.github.io/lambda-talk](https://glebec.github.io/lambda-talk) for a formatted version of the code.\n\nThe 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).\n\n## Presentation\n\nThis 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:\n\n### Part I\n\n[![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\u0026list=PLpkHU923F2XFWv-XfVuvWuxq41h21nOPK\u0026index=1)\n\n### Part II\n\n[![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\u0026list=PLpkHU923F2XFWv-XfVuvWuxq41h21nOPK\u0026index=2)\n\n### Slides\n\n[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)\n\n[![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)\n\n**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).\n\n## Additional Resources\n\n* [_Combinator Birds_ · Rathman](http://bit.ly/2iudab9)\n* [_To Mock a Mockingbird_ · Smullyan](http://amzn.to/2g9AlXl)\n* [_To Dissect a Mockingbird_ · Keenan](http://dkeenan.com/Lambda)\n* [_A Tutorial Introduction to the Lambda Calculus_ · Rojas](http://bit.ly/1agRC97)\n* [_Lambda Calculus_ · Wikipedia](http://bit.ly/1TsPkGn)\n* [_The Lambda Calculus_ · Stanford](http://stanford.io/2vtg8hp)\n* [_History of Lambda-calculus and Combinatory Logic_ · Cardone, Hindley](http://bit.ly/2wCxv4k)\n* [_An Introduction to Functional Programming through Lambda Calculus_ · Michaelson](http://amzn.to/2vtts56)\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fglebec%2Flambda-talk","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fglebec%2Flambda-talk","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fglebec%2Flambda-talk/lists"}