Ezno
Dev tools
type checker
SHOW HN2022
How HN took it
7 positive, 9 neutral or asking, 1 mixed, 5 critical, out of 22 comments about the project. Thread score +0.15.
Idea: 5 for, 1 againstDocs: 0 for, 3 againstPerformance: 0 for, 1 against
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
What people liked
Inferred generics and effect tracking are novel and impressive
From 2 comments
> One of the key ideas with Ezno is that it attempts "maximum" knowledge of a source I've been working on a new TypeScript-like language myself from scratch, which among other…
brundolf on HNWow, this is seriously impressive work, if it really works as well as the code examples make it seem. Many of these ideas I have not seen in other JS typecheckers: - Inferred…
bcherny on HN
Using a typechecker to reduce React work is an interesting idea
From 1 comment
Wow, this is seriously impressive work, if it really works as well as the code examples make it seem. Many of these ideas I have not seen in other JS typecheckers: - Inferred…
bcherny on HN
Objections
Not fully TypeScript-compatible; it is a mostly-compatible checker
From 1 comment
> Ezno's type checker is built from scratch. Getting the features I wanted requires a lot of different functionality and needed several new ideas that as far as I know aren't…
madeofpalk on HN
Unclear whether JavaScript dynamism limits the checks
From 1 comment
> One of the key ideas with Ezno is that it attempts "maximum" knowledge of a source I've been working on a new TypeScript-like language myself from scratch, which among other…
brundolf on HN
Requests
Open source release
From 1 comment
Wow, this is seriously impressive work, if it really works as well as the code examples make it seem. Many of these ideas I have not seen in other JS typecheckers: - Inferred…
bcherny on HN
Runtime type checking generated from types
From 1 comment
What I'd really like is a tsc that creates code to check types at runtime, like for API boundaries and parsing unknown input. Kind of like a built-in Zod. Maybe it's just an…
nilsbunger on HN
Questions
How do I use this?
From 1 comment
So how do I use this ? I think 90% of JS types can be inferred statically...
z3t4 on HN
Will the approach work at scale?
From 1 comment
Wow, this is seriously impressive work, if it really works as well as the code examples make it seem. Many of these ideas I have not seen in other JS typecheckers: - Inferred…
bcherny on HN
Alternatives named
Hegel
From 2 comments
Remind me of Hegel (https://hegel.js.org/) but with typescript compatibility. It's a pity Hegel develompent stopped because war in Ukraine…
fbn79 on HNThank you. Just checked out the Bagel post (https://www.brandons.me/blog/the-bagel-language) and it looks really cool. Identifying pure functions (whether that is by syntax…
kaleidawave on HN
Rome
From 1 comment
Rome (written in Rust) is trying to be a faster tsc (amongst other things, like a faster webpack, babel, prettier, etc) https://rome.tools/#development-status
martpie on HN
io-ts
From 1 comment
You can use io-ts [0] to define your types, and it'll generate functions to typecheck for you. Syntactically it's a bit gnarly and the documentation isn't great; a first-party…
wk_end on HN
Zod
From 1 comment
This x1000! Type guards are a joke and real runtime type checking could be so easy if they prioritized it. Yes you can use zod but then you have to define your types through zod…
eagsalazar2 on HN