| Description | |---|---|---| | parser | | Contains AST definitions, logic for parsing and serializing, and visiting |

Read some more detailed posts - Introducing Ezno - Ezno '23

Experimental

This is an experimental compiler. If you are looking for a stable compiler, Ezno is not the right choice at the moment.

Type checking

Ezno is a type checker based on TypeScript type annotations.

Features

• Declare interfaces and other type definitions
• Usage checking: property access, function parameters etc
• Effects that track mutations across functions
• Parameter constraint inference
• Powerful dependent type system

Differences to checking TSC

• The any type has no properties on it
• Type annotations on variables are the reassignment constraint, not it's current value. Current value is inferred and is mutable
• ...

ultimately the differences shouldn't break existing code and in any case pick up more errors than TSC

Help contribute

Check out issues. Comment on discussions.