Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/qbixxx/lambdacalculusengine

Lambda interpreter built in Scala. Supports CbN, CbV and Free Variables calculations.
https://github.com/qbixxx/lambdacalculusengine

functional functional-programming hacktoberfest lambda lambda-calculus lambda-function lambda-functions sbt scala scala3

Last synced: 15 days ago
JSON representation

Lambda interpreter built in Scala. Supports CbN, CbV and Free Variables calculations.

Host: GitHub
URL: https://github.com/qbixxx/lambdacalculusengine
Owner: qbixxx
License: gpl-3.0
Created: 2024-05-25T17:51:03.000Z (6 months ago)
Default Branch: main
Last Pushed: 2024-10-17T11:07:41.000Z (21 days ago)
Last Synced: 2024-10-22T03:11:31.702Z (16 days ago)
Topics: functional, functional-programming, hacktoberfest, lambda, lambda-calculus, lambda-function, lambda-functions, sbt, scala, scala3
Language: Scala
Homepage:
Size: 162 KB
Stars: 2
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

README

        # λ.Lambda Calculus Engine

![GitHub license](https://img.shields.io/github/license/qbixxx/LambdaCalculusEngine)

![GitHub contributors](https://img.shields.io/github/contributors/qbixxx/LambdaCalculusEngine)

![GitHub release (latest by date)](https://img.shields.io/github/v/release/qbixxx/LambdaCalculusEngine)

Lambda interpreter built in Scala. Supports AST View, CbN, CbV and Free Variables calculations.

## Lambda Expression Symbols available:

- **"λ"**: The lambda symbol represents the beginning of an abstraction.

- **" "**: The space allows for separating the argument from the function in an application.

- **"."**: The dot allows for separating the argument from the body of an abstraction.

- **"("**: The left parenthesis allows for representing the beginning of an application.

- **")"**:" The right parenthesis allows for representing the end of an application.

- **string**: Any other string, different from the ones above, will be interpreted as a variable.

## Commands and syntax:

1. `The Lambda expression must follow the syntax structure defined as:`

   - `<λexp> ::=`

     - `` #Variable

     - `   <λexp>` #Abstraction

     - ` <λexp>  <λexp> ` #Application

2. `set `

   - `set call-by-name` (default strategy)

   - `set call-by-value`

   - `set free-variables`

3. `exit`

## IO Examples:

| Expression | Call-by-Name Result | Call-by-Value Result |

| ---------- | ------------------- | -------------------- |

| `(λx.λy.y (λx.(x x) λx.(x x)))` | `λy.y` | Infinite recursion |

| `(λx.λx.(y x) z)` | `λx.(y x)` | `λx.(y x)` |

| `(λx.λy.x y)` | `λy*.y` | `λy*.y` |

| `(λy.λb.b ((λf.λb.f b) b))` |  `λb*.b*` | `λb*.b*` |

| `(λf.(f λx.λy.x) ((λx.λy.λf.((f x) y) a) b))` | `a` | `a` |

## To do:

* Add boolean and arithmetic expressions support

## Compilation:

The project uses Scala 3.3.3 and sbt.

For running the program open the sbt interpreter using:

````shell

sbt

````

- Compile with:

````shell

compile

````

- And execute with:

````shell

run

````

- For exiting the program:

````shell

exit

````

## Demo run:

![Peek 2024-10-07 20-35](https://github.com/user-attachments/assets/3de43b57-4166-4e1e-848e-f4d420dfeaa1)

Note: If you run the project on Windows, use the symbol "/" instead of the symbol "λ" as PowerShell does not support it.