evertedsphere / shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste
30 stars 0 forks source link

Tracking: backend, codegen #6

Open mrkgnao opened 4 years ago

mrkgnao commented 4 years ago

Do I learn to generate simple, "portable" asm, or just go the LLVM route? An alternative JIT/bytecode backend would be nice for embedding as a scripting language, but I think that can be postponed.