arktype
stc
arktype | stc | |
---|---|---|
41 | 18 | |
3,375 | 5,710 | |
2.7% | 0.2% | |
7.9 | 8.4 | |
5 days ago | 3 months ago | |
TypeScript | 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.
arktype
-
Library for benchmarking TS types
I primarily rely on that approach to benchmark ArkType's types.
- Introducing @arktype/attest: A new approach to type-level testing and benchmarks
-
TypeScript please give us types
I was one of the most outspoken supporters of this initiative until I started working on ArkType. That may sound oddly self-serving, and it would be naive to claim objectivity after having invested so much into my own solution to this problem. However, I don't think that's the primary reason I changed my mind.
Since it's not explicitly listed there, I feel I should shout out David Blass and his incredibly cool ArkType project: https://github.com/arktypeio/arktype
He sometimes (used to?) streams himself working on twitch and it's a really comfy place to hang out: https://www.twitch.tv/arktypeio
-
Using ArkType for TypeScript runtime validation
ArkType is a runtime validation library that can infer TypeScript definitions one-to-one and reuse them as highly-optimized validators for your data.
-
preferred way to type guard api response body?
Could also try ArkType if you haven't seen it.
-
Valid runtime typing with Dilav
How would you say the functional chaining style overall compares to a parsed syntax like ArkType?
-
Can someone recommend a library for data parsing similar to Zod, but with better support for input transformations/preprocessing?
I'm working on a library called ArkType maybe of interest to you.
-
Solving balanced parentheses problem using Dart's type system
If you're interested in the possibilities of this kind of stuff in TypeScript, you should check out ArkType.
-
Safer Type Checking At Both Runtime and Compile Time
Have you tried ArkType?
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?
zod - TypeScript-first schema validation with static type inference
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).
proposal-decorators - Decorators for ES6 classes
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.
trpc - 🧙♀️ Move Fast and Break Nothing. End-to-end typesafe APIs made easy.
ctl - The C Template Library
monorepo
this-week-in-rust - Data for this-week-in-rust.org
type-level-regexp - 🔤🔍 Type-level RegExp, parse and match string in TypeScript type system.
swc - Rust-based platform for the Web
typescript-runtime-type-benchmarks - 📊 Benchmark Comparison of Packages with Runtime Validation and TypeScript Support
NuDB - NuDB: A fast key/value insert-only database for SSD drives in C++11