Genotype: language that compiles to idiomatic TS, Rust and Python
Details
- External ID
- 49617861
- Source
- HN
- Company
- —
- Product
- Genotype: language that compiles to idiomatic TS, Rust and Python
- Website domain
- genotype-lang.org
- Launched
- Sept. 8, 2026
- Cohort
- —
- Upvotes
- 9
- Upvotes percentile
- 0.5422647527910686
- Tags
- —
- Fetched at
- Sept. 12, 2026, 5:46 p.m.
- Updated at
- Sept. 12, 2026, 5:46 p.m.
Description
Hey HN! I just shipped the first public version of a new programming language that I have worked on for the past two years.Its goal is to help synchronize types between TS, Rust, and Python (more to come). Two main use cases are the API client libraries and client-server interop, i.e., a TS web app talking to a Rust server.I focused on making it as flexible as possible but always produced idiomatic types that look and feel like they were carefully crafted by humans. It was a challenge, e.g., I had to test 7 Python versions for every language feature or had to implement Rust literals runtime.It's written in Rust, btw ;-)
Enrichment
- Theme
- database infrastructure and developer tools
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- cross-language compiler for typescript rust and python
- Manually corrected
- False
Could you build this?
No Building a full compiler and type system that parses a custom domain language and generates correct, idiomatic ASTs and code across TypeScript, Rust, and Python requires deep compiler engineering knowledge.
What it would actually take: The stack comprises a formal grammar parser (e.g., Tree-sitter, ANTLR, or a handwritten recursive descent parser), an intermediate representation (IR) representing structural and nominal types, and separate code generator backends for TS, Rust, and Python. The hard part is reconciling disparate type theory paradigms (e.g., Rust's ownership/traits, TypeScript's structural typing, and Python's duck typing/typing module) while generating clean, idiomatic code. Requires significant expertise in compiler design, AST transformations, and multi-language type semantics.
Discussion
1 comment analyzed.
Concerns raised: Unclear definition of 'idiomatic' term usage, Concern about marketing slop and buzzword proliferation
Competitors
Other products that read as similar to this one — 240 launches clear the similarity bar, closest 8 shown.
Attention rank: #125 of 241 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 311 days after the earliest competitor.
- Fuse · hn · 2026-08-02 · 121 upvotes · similarity 0.52
- Hsrs · hn · 2026-05-19 · 53 upvotes · similarity 0.51
- rust-learning-lab · github · 2026-09-25 · 49 upvotes · similarity 0.50
- Topaz · hn · 2026-06-18 · 5 upvotes · similarity 0.50
- Typical is TypeScript with type-safety at runtime · hn · 2026-01-11 · 8 upvotes · similarity 0.50
- Gene · hn · 2026-01-01 · 36 upvotes · similarity 0.49
- OtterLang · hn · 2025-11-08 · 15 upvotes · similarity 0.49
- Learning Rust by writing a Markdown to HTML compiler · hn · 2026-07-29 · 25 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.