Typical is TypeScript with type-safety at runtime
Details
- External ID
- 46574759
- Source
- HN
- Company
- —
- Product
- Typical is TypeScript with type-safety at runtime
- Website domain
- elliots.dev
- Launched
- Jan. 11, 2026
- Cohort
- —
- Upvotes
- 8
- Upvotes percentile
- 0.41699604743083
- Tags
- —
- Fetched at
- Sept. 7, 2026, 9:25 p.m.
- Updated at
- Sept. 7, 2026, 9:25 p.m.
Description
Spent a week in the break building a pre-compiler that brings type safety to runtime. Still pretty early, but generally does what it says.Looking for feedback, code that breaks it (check out the playground), ideas etc.
Enrichment
- Theme
- niche developer utilities and toolchains
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Commercial product
- Normalized one-liner
- typescript with runtime type safety
- Manually corrected
- False
Could you build this?
Partial While basic AST parsing and assertion injection are achievable, creating a robust TypeScript runtime type-safety pre-compiler handling complex generics, unions, and edge cases requires complex compiler engineering.
What it would actually take: A production-grade solution requires deep knowledge of the TypeScript compiler API (ts-morph / TypeScript Compiler Internals) or Babel/SWC plugins to parse ASTs, resolve types across modules, and emit performant runtime validation schemas (similar to Typia or Zod). The hard part is dealing with complex type inference, conditional types, mapped types, and avoiding severe runtime overhead. It requires a dedicated compiler/language-tooling engineer with extensive experience in static analysis.
Discussion
3 comments analyzed.
Competitors mentioned: Zod, Yup, Typia, ArkType, ts-runtime-checks
Concerns raised: Performance overhead compared to native TypeScript compilation, Benchmarks too simplistic (no arrays, nesting depth, type reuse, unions)
Feature requests: Include Typia and ArkType in official benchmarks, Support more complex validation scenarios in benchmarks
Competitors
Other products that read as similar to this one — 146 launches clear the similarity bar, closest 8 shown.
Attention rank: #97 of 147 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 68 days after the earliest competitor.
- TypeScript 6.0 · ph · 2026-03-24 · 156 upvotes · similarity 0.59
- SharpTS · hn · 2026-01-09 · 6 upvotes · similarity 0.59
- Ironwall, a safety-first native programming language and compiler · hn · 2026-06-06 · 16 upvotes · similarity 0.54
- typescript-engineering · github · 2026-09-10 · 9 upvotes · similarity 0.53
- compiler · github · 2026-09-19 · 31 upvotes · similarity 0.50
- Genotype: language that compiles to idiomatic TS, Rust and Python · hn · 2026-09-08 · 9 upvotes · similarity 0.50
- LemmaScript, a verification toolchain for TypeScript via Dafny · hn · 2026-04-21 · 5 upvotes · similarity 0.48
- Pg-typesafe · hn · 2026-02-17 · 69 upvotes · similarity 0.48
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.