: Currently puzzling over this. I want to eventually support type preserving compilation like in 's work. For this I need my core syntax to be fully annotated with types. Should I be doing readback/quoting here? github.com/brendanzab/rus
Conversation
Replying to
Note that my values and normal forms do *not* preserve types - this is purely for passing down to the next phase of compilation. Definitely curious if I could do some JIT style stuff eventually - compiling expressions rather than interpreting them during type checking.