Skip to content

Lambda Calculus things implemented on Python

License

Notifications You must be signed in to change notification settings

orsinium-labs/python-lambda-calculus

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

39 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

λ

Lambda Calculus functions implemented on Python

Lambda Calculus is a kind of mathematical game when you're implementing programming language with only functions that accept exactly one argument and returns exactly one value. Such function named "lambda". Thing is lambda can return another lambda, and it allows you to build everything, even numbers.

This repository contains lambdas with implemented lambdas and tests with pytest-based tests for it. To run tests execute pytest.

Implemented:

  1. Boolean operations: code, tests.
  2. Natural numbers: code, tests.
  3. Pair: code, tests.
  4. Combinators: code, tests.
  5. Recursive functions: code, tests.
  6. Signed numbers: code, tests.
  7. Lists: code, tests.

The list below is in order of the recommend implementation. It's recommend to try to do it by yourself, and use this repository as a cheatsheet.

Read more