cicada-lang / lambda

An interpreter of lambda calculus.

Lambda Calculus

An interpreter of lambda calculus.

• Implement call-by-need lazy evaluation.
• Support direct and indirect recursion.

(define name body)
(define (name arg ...) body)
(import name ... "./file.scm")
(assert-equal exp ...)
(assert-not-equal exp ...)

(lambda (name) ret)
(let ([name exp] ...) body)

Usages

Command line tool

Install it by the following command:

npm install -g @cicada-lang/lambda

The command-line program is called lambda.

Development

npm install     # Install dependencies
npm run build   # Compile `src/` to `lib/`
npm run test    # Run test

Contributions

To make a contribution, fork this project and create a pull request.

Please read the STYLE-GUIDE.md before you change the code.

Remember to add yourself to AUTHORS. Your line belongs to you, you can write a little introduction to yourself but not too long.

License

GPLv3

lambda's Issues

[idea] graph-based implementation of lambda calculus

Normal forms of Parigot numerals are exponential in size,
but a reasonable term-graph implementation
should be able to keep them linear via sharing.

Implement lamping reduction by inet.

After this, we can use lambda encoding for real.

After using lambda encoding for real,
maybe we can get better understanding of inductive datatype

For example, parameters v.s. indexes.