3 ms·
Fair! Just wanted to point out they already "standardize" within reason, i.e. function abstraction per datatype and the relevant documentation. These types of
by jstimpfle 10y ago
Fair! Just wanted to point out they already "standardize" within reason, i.e. function abstraction per datatype and the relevant documentation.
These types of problems (getting ownership wrong) might be common, but whether they can be solved using a mechanism like Rust's remains to be shown. I doubt it, but I'm not intimate with Rust.
(Personally most Rust programs I've seen so far are off-putting at a syntactical and sometimes architectural level - the latter is of course not entirely the language's fault. Kernels will probably not be one of the first areas of Rust adoption).
- noelwelsh 10y agoA reasonable discussion on the Internet! I'm shocked (but thank-you) ;-) I too find Rust a bit off-putting on the syntactical level, though architecturally what little Rust I've looked at does appeal to me, as I'm in the functional programming camp from which Rust draws inspiration. I'll hopefully get to do some real work with it soon, which will give me a better feel for it. Agreed that the power of Rust's borrow checker remains to been shown on a large scale. I'm optimistic it will be, but time will tell.
- wtetzner 10y ago> Kernels will probably not be one of the first areas of Rust adoption You probably mean popular/used-in-production kernels, but there are OS's being written in Rust, e.g. Redox [1] [1] https://github.com/redox-os/redox https://github.com/redox-os/redox
- jstimpfle 10y agoI had heard of that project. I'm sure there are OS's in Haskell too, but yes, that was not what I meant.