Learning Lambda Calculus With Elixir


Details
"The beauty of λ-calculus is that it is so simple, it consists of very few constructs and rules, yet it is as powerful as the most powerful programming language. No one in their right mind would program anything in λ-calculus, but it has served as the inspiration of a whole family of languages."
Since the λ-calculus has been so influential in the development of functional programming languages, let's see how we can learn more about it and implement it using Elixir.
Reading for Discussion (8 pages):
http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf
Let's go through this paper and take a stab at the practice problems on page 9.
______________________________
Other Recommended Resources:
Lambda Calculus with Elixir Examples: https://id1019.gitbook.io/exercises/introduction/lambda-calculus
Great talk on Lambda Calculus with Javascript:
https://www.youtube.com/watch?v=3VQ382QG-y4
______________________________
Join us on slack:
https://join.slack.com/t/functional-nyc/shared_invite/enQtNTAzNDk3MTk4OTE1LWZmMDM4ZjkwY2ZlNDMxM2Q5ZWMzMGIyYzUzZjRmY2E1OWIwMGI5Njg1MjliMzliNjJiMTg4YjBiYmUzNWExNzY

Learning Lambda Calculus With Elixir