Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Wouldn't it make most sense to focus this on MIR, which is in many ways a MiniRust already? https://blog.rust-lang.org/2016/04/19/MIR.html


That's happening separately, in the "mir-formality" project: https://github.com/nikomatsakis/a-mir-formality

The two projects are related, but have different objectives (mir-formality includes traits and borrow checking, while MiniRust focuses on operational semantics).


Yes, MiniRust is basically a slightly extended MIR. But MIR is designed for borrow checking and MiniRust is designed for exploring semantics. And MIR doesn't have a precise operational semantics so it's not like this is duplicating much if anything.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: