4 ms·
100% agree - we're working on exactly that for the upcoming release in a few months!
by LightMachine 3y ago
100% agree - we're working on exactly that for the upcoming release in a few months!
- mccoyb 3y agoHi Victor — exciting work! For language designers interested in this system, is there a common reference for e.g. using it (for example, from a language + lowering pipeline in Rust)? (Or perhaps that’s also what you alluded to in the next couple of months)
- LightMachine 3y agoExactly, we're working on a guide for language designers. And while HVM-Core (the repo I posted today) is the lowest IR, I believe most languages should actually compile to HVM-Lang (to be released), which is a higher-level AST that is more familiar and does a lot for you (so you don't need you to write your own conversions from your language to interaction combinators and back).