Read the story: https://judehunter.dev/blog/assembly-interpreter-in-typescripts-type-system
Assembly interpreter implemented entirely in TypeScript's type system (type annotations)