2 ms·
How well would MIRI work as a generic virtual machine for fairly simple stuff. Essentially I want to compile some type-safe code from a file and run it in a saf
by tmzt 9y ago
How well would MIRI work as a generic virtual machine for fairly simple stuff. Essentially I want to compile some type-safe code from a file and run it in a safe way inside of another Rust application.
I'm looking at various lua bindings as well as https://crates.io/crates/wren https://crates.io/crates/wren for this purpose, but I'm wondering if something like miri would work better since another path for compiling this language when real-time code reloading or sandboxing is not required is to translate it to Rust code and compile it with rustc, likely with a compiler plugin.
- kibwen 9y agoThat's a good question that I don't have the answer to. I'm only passingly familiar with Miri, so I can't say for certain what its intended scope is. Historically it's been developed in this repo: https://github.com/solson/miri https://github.com/solson/miri , so you could try opening an issue there and asking, though it seems as though it might soon migrate to the official rustc repo (if it hasn't already). You could also try asking around in the Rust channels (try #rust-internals) on irc.mozilla.org to get in touch with the Miri developers directly.