… It is just a parser? Sure the parser is written very succinctly and that’s neat. But parser generators for other languages can do it similarly.

this is pretty sick - i imagine this speeds up hardening a lot. will try it out - thank you!

i thought this was super cool and informative thank you so much for writing it.

i work a lot in python and tried to build a runtime type checker for it that basically acted as automatic assertions on all stated types at function boundaries, and it worked really well to bring all TypeErrors in my code to the surface on first run.

but, my knowledge is woefully short on compilers and languages. this definitely gave me a great frame of understanding, so thanks again for writing it