condtype
ezno
condtype | ezno | |
---|---|---|
3 | 8 | |
57 | 2,210 | |
- | - | |
7.3 | 8.3 | |
4 months ago | 4 days ago | |
Rust | Rust | |
Apache License 2.0 | MIT License |
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.
condtype
-
condval: Create conditionally-typed values
In the v1.0 announcement of condtype, I introduced CondType. It enables choosing a type based on a compile-time constant (like std::conditional_t in C++):
- CondType brings C++ conditional_t to Rust
- CondType: choose types via boolean conditions
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
What are some alternatives?
typical - Data interchange with algebraic data types.
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
rust - Empowering everyone to build reliable and efficient software.
stc - Speedy TypeScript type checker
project-const-generics
rfcs - RFC process for Bytecode Alliance projects
deno - A modern runtime for JavaScript and TypeScript.
flix - The Flix Programming Language
unseemly - Macros have types!
egglog - egraphs + datalog!
clingo - 🤔 A grounder and solver for logic programs.
libclc - Cache Line Container - C11