Hacker News · 核心生态

Show HN: Tagless final DSL for deterministic TypeScript programs

mikesol · story · related signal

Open source

My goal is to reimplemenet a hefty chunk of TypeScript in TypeScript using a DSL that resembles TypeScript. But instead of immediate execution, what you get is a serializable program represented as a directed acyclic graph that can be mutated à la Nim or Haxe via a query language. I'm not quite sure why I'm doing this, but two thoughts emerge as I tinker: 1…

SOURCE-DECLARED INSTALL

Open the public source page ↗

MEDIA REFERENCES

Captured in public view

Local and external references · rights noted

CONTEXT

Why it is here

My goal is to reimplemenet a hefty chunk of TypeScript in TypeScript using a DSL that resembles TypeScript. But instead of immediate execution, what you get is a serializable program represented as a directed acyclic graph that can be mutated à la Nim or Haxe via a query language. I'm not quite sure why I'm doing this, but two thoughts emerge as I tinker: 1…

REFERENCES

Linked evidence

Evidence updated 2026-08-16T10:41:36Z. Interaction numbers are platform-native snapshots; the evidence panel records the metric source and observation time. NULL means the public page did not expose a number at collection time.