-
@BaptisteDupuch sorry i let this slip! you will need a mechanism to emit SIL instructions (e.g. a library) and you will need to design a functional data-only representation that sits on top of that (i.e. your MAGE-equivalent). your compiler then talks the MAGE-equivalent, and it generates SIL
-
@BaptisteDupuch i have a very rough prototype of using this approach to target LLVM IR here github.com/nasser/symba and my two relevant talks are youtube.com/watch?v=PwL2c6rO6co and youtube.com/watch?v=eDad1pvwX34 if those are helpful. also happy to chat over email!