Template-Assembly

Super fun site! Did you get inspiration from other assemblers or macro processors? You have it running on a TRS-80, how does that work? I had no idea Rust could target a TRS-80. I am getting hints of Forth, Lisp and TCL. How would you go about laying out structs in memory? I am sure you considered an internal DSL, what caused you go with something stand alone? Any thoughts on adding a constraint solver, like Z3 and allowing end users to set constraints on things like the size of a jump. I could see taking this an growing it into a compiler by making macro(macro(macros txt))) Is there an internal IR? Projects for inspiration https://github.com/mattbierner/Template-Assembly Specifying representations of machine instructions https://dl.acm.org/doi/pdf/10.1145/256167.256225 https://www.semanticscholar.org/paper/Specifying-representat... Typed

I once (ab)used this approach to express x86 assembly directly in C++: https://github.com/mattbierner/Template-Assembly The library uses standard C++ syntax to build up complex templated types that represent the assembly code. These types are then passed through a simple templated "assembler" at compile time, which spits out a c string of machine code which you can invoke at runtime. Now if only someone would write a compiletime C compiler in C++ templates...