The text C interface is nice as an option, but it would be faster as a direct programmatic API. i.e. call a compiler backend programmatically instead of textually.
Features:
- declare types (ok to use LSTS syntax here
Maybe<U8> instead of needing mangled types)
- declare monomorphic functions
- declare variables
the same stuff that you can do in C, just without the text, and with explicit conveniences for supporting LM style languages.
There is nothing in LSTS that we can't do in C. It is just more work.
The text C interface is nice as an option, but it would be faster as a direct programmatic API. i.e. call a compiler backend programmatically instead of textually.
Features:
Maybe<U8>instead of needing mangled types)the same stuff that you can do in C, just without the text, and with explicit conveniences for supporting LM style languages.
There is nothing in LSTS that we can't do in C. It is just more work.