ezno
stc
ezno | stc | |
---|---|---|
8 | 18 | |
2,199 | 5,710 | |
- | 0.2% | |
8.3 | 8.4 | |
19 days ago | 3 months ago | |
Rust | Rust | |
MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ezno
- Ezno's checker (Rust based type checker and compiler) is now open source
- Ezno's checker (a Javascript type checker and compiler written in Rust) is now open source
- Ezno: A TypeScript checker written in Rust
- Show HN: Ezno, a TypeScript checker written in Rust, is now open source
-
Ask HN: What is new in Algorithms / Data Structures these days?
> I'm curious if there are any practical reasons we don't see them implemented in more languages.
I believe it's because they're not exactly easy to implement and the resulting extensive type checking might also affect compiler performance.
By the way, another great example of refinement types (in JavaScript) is this one: https://kaleidawave.github.io/posts/introducing-ezno/
- Open sourcing Ezno – JavaScript compiler and TypeScript checker written in Rust
stc
- STC (Rust-based TypeScript type checker) is officially abandoned
-
TypeScript Is Surprisingly OK for Compilers
Wonder no more: https://github.com/dudykr/stc
Written in Rust by the (lead?) dev of SWC
SWC (speedy web compiler) compiles TS to JS
-
Show HN: Ezno, a TypeScript checker written in Rust, is now open source
The analogy (by swc's author) would be https://github.com/dudykr/stc
-
How do people use Zod on a large project?
I'm also hoping for STC https://stc.dudy.dev/ but I don't think it will be released any time soon.
-
What are some stuff that Rust isn't good at?
MyPy and tsc on the other hand? Please make a Ruff for MyPy and hurry up and fund the author of SWC to develop STC. I'm tired of waiting several seconds after each :w for my quickcheck window to update.
-
TypeScript 5.0
>If we could push JavaScript performance to be another order of magnitude faster
And it would speed up the TypeScript Compiler.
My bet is:
TypeScript typechecker in Rust:
https://github.com/dudykr/stc
-
No one cares about Bun's speed. Your CI does though
typescript(tsc) is the only one that does type checking.
bun, deno, esbuild, swc etc. can parse the syntax, but they chuck the TS (they probably don't even add it to the AST, but I haven't checked).
Keeping up with syntax is very doable. It doesn't change often, and updating the parser when it does isn't much work.
There are some past/ongoing projects[1][2] to create type checkers faster than tsc, but they aren't going to reach full parity and probably don't plan on keeping up with language features.
[1] https://github.com/dudykr/stc
- Open sourcing Ezno – JavaScript compiler and TypeScript checker written in Rust
-
What would you rewrite in Rust?
Well the checker is in progress.
- TypeScript type checker written in Rust
What are some alternatives?
highfleet-ship-opt - A c/c++ module and python extensions for automatic optimization of Highfleet ship modules. Try it live at https://hfopt.jodavaho.io
mlib - Library of generic and type safe containers in pure C language (C99 or C11) for a wide collection of container (comparable to the C++ STL).
rfcs - RFC process for Bytecode Alliance projects
Containers - This library provides various containers. Each container has utility functions to manipulate the data it holds. This is an abstraction as to not have to manually manage and reallocate memory.
flix - The Flix Programming Language
ctl - The C Template Library
egglog - egraphs + datalog!
this-week-in-rust - Data for this-week-in-rust.org
clingo - 🤔 A grounder and solver for logic programs.
swc - Rust-based platform for the Web
libclc - Cache Line Container - C11
NuDB - NuDB: A fast key/value insert-only database for SSD drives in C++11