https://github.com/yazaldefilimone/eva-typechecker

📝 | Type system | Static typeChecker | Type inference
https://github.com/yazaldefilimone/eva-typechecker

compiler compiler-design programming-language typechecker types

Last synced: 27 days ago
JSON representation

📝 | Type system | Static typeChecker | Type inference

• Host: GitHub
• URL: https://github.com/yazaldefilimone/eva-typechecker
• Owner: yazaldefilimone
• Created: 2023-12-19T20:29:59.000Z (11 months ago)
• Default Branch: main
• Last Pushed: 2024-02-23T19:16:40.000Z (9 months ago)
• Last Synced: 2024-02-23T20:26:33.179Z (9 months ago)
• Topics: compiler, compiler-design, programming-language, typechecker, types
• Language: JavaScript
• Homepage:
• Size: 129 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.md

Awesome Lists containing this project

README

        


eva typechecker

source code lang: [eva lang](https://github.com/yazaldefilimone/essentials-of-interpretation)

See examples in `./exemples`;

`./bin/eva-typechecker `

You can run files:

```bash

./bin/eva-typechecker  -f exemples/simple.eva

// or

./bin/eva-typechecker  -f exemples/advanced.eva

```

or expression

```bash

./bin/eva-typechecker  -e '(+ 2 3)'

// or

./bin/eva-typechecker  -e '(lambda ((n1 number) (n2 number)) -> number  (+ n1 n2))'

```