Hacker News new | ask | show | jobs
by Vaguely2178 693 days ago
There are various programming language interpreters that run entirely in the type system:

- BF: https://github.com/susisu/typefuck

- Assembly: https://github.com/judehunter/ts-asm