Show HN: Typical is TypeScript with type-safety at runtime(typical.elliots.dev)
typical.elliots.dev
Show HN: Typical is TypeScript with type-safety at runtime
https://typical.elliots.dev/
3 comments
This looks promising - I've always found the schema duplication annoying with Zod/Yup.
Would be great to see benchmarks vs Typia/ArkType at https://moltar.github.io/typescript-runtime-type-benchmarks/
Good idea! The only one of the four benchmarks typical can do is AssertLoose (because, typescript isn't that strict!).
Running against the top 5 (+zod+yup) with node 24:
The benchmark itself is fine, but very simple. No arrays, only one level of nesting, no reuse of types, no template literals, no generic, no union types etc etc. Gives you a good idea of the general overhead, but isn't really playing to the strengths I think typical might have (hoisting functions that can be reused etc).
But speed is super important if you're intending to validate everywhere, so I'll keep my fork up to date. Thanks for the idea.
Running against the top 5 (+zod+yup) with node 24:
@sinclair/typebox-(ahead-of-time) - 176 M/ops/s
ts-runtime-checks - 176 M/ops/s
ts-auto-guard - 175 M/ops/s
typia - 173 M/ops/s
spectypes - 166 M/ops/s
typical - 150 M/ops/s
zod - 1.8 M/ops/s
yup - 0.2 M/ops/s
The benchmark itself is fine, but very simple. No arrays, only one level of nesting, no reuse of types, no template literals, no generic, no union types etc etc. Gives you a good idea of the general overhead, but isn't really playing to the strengths I think typical might have (hoisting functions that can be reused etc).
But speed is super important if you're intending to validate everywhere, so I'll keep my fork up to date. Thanks for the idea.
Wait, I don't have to change any code for this to work ...? Holy shit
Looking for feedback, code that breaks it (check out the playground), ideas etc.