3 ms·

Someone has tried to do something along those lines: https://github.com/thepowersgang/mrustc/blob/master/README.md https://github.com/thepowersgang/mrustc/blob

by comex 10y ago

Someone has tried to do something along those lines: https://github.com/thepowersgang/mrustc/blob/master/README.md https://github.com/thepowersgang/mrustc/blob/master/README.m... > Thankfully, (from what I have seen), the borrow checker is not needed to compile rust code (just to ensure that it's valid) It's not finished, though, and honestly I'm pretty sure that borrow checking isn't even that hard compared to all the other stuff a Rust compiler has to do, like generic/trait resolurion. But we'll see.

naasking 10y ago
> It's not finished, though, and honestly I'm pretty sure that borrow checking isn't even that hard compared to all the other stuff a Rust compiler has to do, like generic/trait resolurion. You can implement basic trait resolution via name mangling and a global map. I did this as an experiment a number of years ago to implement type class-like overloading in C. I'm not sure how far you could take that technique though. I don't think it would work for higher-kinded types, but Rust doesn't have those.