Contribute Media
A thank you to everyone who makes this possible: Read More

Introducing Lambda Calculus with Python


Indranil Ghosh

We will be focusing on untyped lambda calculus and start by the simple definition of a function, that can be implemented with Python lambda. We will then discuss the concepts of abstraction and application in lambda calculus and then move on to understand what a substitution is and how can these be implemented in Python. We will finally study some combinators which are the basic building blocks of combinatory logic, before ending with encoding datatypes in lambda calculus and implementing the same with Python lambda. Datatypes we will be discussing are:

  1. Boolean values like TRUE and FALSE
  2. Logical operators like AND, OR and NOT
  3. Church Numerals
  4. Predicates
  5. Recursions

Produced by NDV:

Python, PyCon, PyConAU, PyConline

Sat Sep 5 14:40:00 2020 at Python 2

Improve this page