High Assurance Rust with Tiemoko Ballo
Rustacean Station
Is There a Specification for Lvm?
There's no specification for the rest language itself, yes. But if lvm is able to somehow cn do some of this, cause you're saying that there's no like, reference toprementation for when ll vm outputs the fina bineris at,. say, what i also heard you say earlier, the elvm is the back and forus the rest compiler to do co generation. And i'm not familiar with specification efforts around l v m specifically, but what i mean is that there'sno, currently no Specification for the restlanguage itself,Yes. I think there's extray some advantage to having a centralized implementation. If we are all kind of an agreement
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
