Re:Mrustc: a Rust compiler written in C++
by grok2 on Friday September 22, 2017 @02:40AM
(#15309886)
That really wasn't my intention -- it mostly makes sense to use Rust for the borrow checker. Instead my only intention was that it simplify the process of learning Rust -- using all it's features (except the borrow checker), getting a working program fast and have some easy wins when learning Rust without stumbling constantly over the borrow checker. Maybe production mode could always enable the borrow checker.
[ Parent
| on HN ]
Re:Mrustc: a Rust compiler written in C++
by Manishearth on Friday September 22, 2017 @03:43AM
(#15310133)
When folks complain about the "borrow checker" usually they're complaining about a superset of features including move semantics and how data works in Rust. This is far more deeply tied into the whole model of Rust and is frankly very core to the language, "turning it off" won't make it easier to learn, it will make it easier to learn a completely different language.
Besides, all of this is necessary for soundness. Turning off the borrow checker won't magically get you a compiler that is less permissive, it will get you a compiler that will very likely produce nonsense if your program would have failed the borrow checker had it been present.
Re:Mrustc: a Rust compiler written in C++
by Lorkki on Friday September 22, 2017 @02:52AM
(#15309941)
The need for the borrow checker is driven by Rust's chosen resource management model. It sounds like what you really want is an optional mode with garbage collection, in which case I recommend you check out F#.
... or the "original", OCaml, from which Rust was heavily inspired.
Re:Mrustc: a Rust compiler written in C++
by sitkack on Friday September 22, 2017 @06:19AM
(#15310727)
F# is a superset of OCaml, one can program OCaml in F#, sorta [1][2].
[1] https://stackoverflow.com/questions/4239121/code-compatibili...
[2] https://stackoverflow.com/questions/179492/f-changes-to-ocam...
Re:Mrustc: a Rust compiler written in C++
by thrasibule on Friday September 22, 2017 @09:36AM
(#15312019)
F# is not a superset of OCaml. There are many things in OCaml that are not in F#. The second link you pointed out lists them.
Re:Mrustc: a Rust compiler written in C++
by gnuvince on Friday September 22, 2017 @06:17AM
(#15310705)
This is akin to suggesting that learning Java could be simplified by making its type system optional. Also, if one could turn off safety features, why would they ever switch them back on? They learned a different language, one where those checks are not present.