Yes, these are called multistage languages: https://en.wikipedia.org/wiki/Multi-...

		naasking on Dec 16, 2021 \| parent \| context \| favorite \| on: How to write a simple JIT compiler Yes, these are called multistage languages: https://en.wikipedia.org/wiki/Multi-stage_programming The classic example is MetaOCaml: https://en.wikipedia.org/wiki/OCaml#MetaOCaml