What Ezno is - A type checker for JavaScript with optional compiler infrastructure (parser, CLI, LSP etc) - Written in Rust - Fully typed programs, guaranteeing type safety (as long as definitions are sound) - Types aimed at soundness and tracing for better static analysis - A imperative type system, with event tracing and evaluating function side effects - A partial / type based interpreter - A collection of experiments of types
What Ezno is not - eNZo, Z goes before the N (pronounce as 'Fresno' without the 'fr') 😀 - 1:1 / parity with TSC, it has different behaviors but should work in existing projects using TSC (check out stc that is aimed at 1:1)
Set EZNO_DEBUG to any value to trace diagnostic information from the crate::utils::notify! macro (In powershell = $Env:EZNO_DEBUG=1)