Live data from Hacker News

Show HN: Ezno, a TypeScript checker written in Rust, is now open source

github.com

11–20 of 25 posts

Re: Show HN: Ezno, a TypeScript checker written in Rust, is now open source

#11

Very cool! Congrats on the launch, even if it is very early. Unsolicited feedback: I read the name an Enzo (n-zo) until I read the readme and realized it was Ezno (es-no). Since in a previous post [0] you say you're unsure on the name, Enzo could be a good one if this is a common mistake. [0] https://kaleidawave.github.io/posts/introducing-ezno/

I think Enso is already taken by a YC company [0]. Could get confusing.

[0] https://enso.org

Re: Show HN: Ezno, a TypeScript checker written in Rust, is now open source

#12

Very cool! Congrats on the launch, even if it is very early. Unsolicited feedback: I read the name an Enzo (n-zo) until I read the readme and realized it was Ezno (es-no). Since in a previous post [0] you say you're unsure on the name, Enzo could be a good one if this is a common mistake. [0] https://kaleidawave.github.io/posts/introducing-ezno/

I think Enso is already taken by a YC company [0]. Could get confusing. [0] https://enso.org

Enzo is a common name and I associate it with the founder of Ferrari.

It’ll have different associations to different people. Good reason to just add to it.

Re: Show HN: Ezno, a TypeScript checker written in Rust, is now open source

#13
I haven't looked at the source, but the way to write one of these that's fast is to use incremental computation. [0]

It tends to take a lot of RAM, but the speedups possible are 3-5 orders of magnitude in the projects I've studied.

Here's a parallel C++ library to do so that requires relatively minor changes to the original algorithm. [1] [2]

I also believe it would be possible to develop a compiler framework to do the transformation mostly automatically, using an MLIR dialect.

[0] https://en.wikipedia.org/wiki/Incremental_computing

[1] https://dl.acm.org/doi/pdf/10.1145/3409964.3461799

[2] Source code: https://github.com/cmuparlay/psac

Re: Show HN: Ezno, a TypeScript checker written in Rust, is now open source

#14

Very cool! Congrats on the launch, even if it is very early. Unsolicited feedback: I read the name an Enzo (n-zo) until I read the readme and realized it was Ezno (es-no). Since in a previous post [0] you say you're unsure on the name, Enzo could be a good one if this is a common mistake. [0] https://kaleidawave.github.io/posts/introducing-ezno/

I read it as Enzo and just assumed it was fast (like a Ferrari).

Re: Show HN: Ezno, a TypeScript checker written in Rust, is now open source

#15
post #4

The issue has always been that people start these projects, see just how big/hard checking the whole of TypeScript is and don't finish it. It would be awesome if you finished it :]

does TS even have a spec? I thought the type checking rules are basically "whatever tsc does"

Re: Show HN: Ezno, a TypeScript checker written in Rust, is now open source

#16
post #4

The issue has always been that people start these projects, see just how big/hard checking the whole of TypeScript is and don't finish it. It would be awesome if you finished it :]

does TS even have a spec? I thought the type checking rules are basically "whatever tsc does"

Yeah, stc seems to be just using the TypeScript test suite as a proxy for completeness. Pretty far along, but unclear when it will actually be usable.

https://stc.dudy.dev/blog/this-week-in-stc/week-23

Re: Show HN: Ezno, a TypeScript checker written in Rust, is now open source

#17
post #6

This is extremely early per the disclaimer at the top, like too early to even run most toy programs. In general I'm kind of skeptical of the approach these rewrite in rust/go projects are going. Maybe as wasm plugins for hot paths in existing tools, but it's not clear to me that the full rewrites are where we want to be long term as a community.

Unlike stc, Ezno is meant to be an extension for what TS offers today. Check this article[1] for all the cool stuff it can do.

[1] https://kaleidawave.github.io/posts/introducing-ezno/

Re: Show HN: Ezno, a TypeScript checker written in Rust, is now open source

#19
post #4

The issue has always been that people start these projects, see just how big/hard checking the whole of TypeScript is and don't finish it. It would be awesome if you finished it :]

does TS even have a spec? I thought the type checking rules are basically "whatever tsc does"

There is a specification but it's fallen a bit behind the implementation. Of course the implementation is open source, pretty well documented and covered in lots of tests. So, you could think of that as a living specification.

Some pointers from this stackoverflow discussion:

https://stackoverflow.com/questions/52148566/is-the-typescri...

Post reply on HN