4 ms·
It may surprise you to learn that I was already aware of all of the languages you mentioned, and yet I still asserted that Rust gave you more than just performa
by tatterdemalion 10y ago
It may surprise you to learn that I was already aware of all of the languages you mentioned, and yet I still asserted that Rust gave you more than just performance.
I specifically asserted that Rust is capable of typing imperative code in a way that no other language is. ML-descended languages hide their imperative components behind Cells and Monads. Imperative languages have type systems which don't capture questions of ownership, aliasing, and shared mutability.
I found your comment to be not at all enlightening; all you've done is list other languages with type systems and then assert that I am wrong, suggesting you read my comment with a closed mind - in which case, why comment?
- problems 10y agoI just don't see what Rust's type system buys you over the others, despite the extraordinary effort it forces you to exert - so I'm quite concerned about seeing it suggested in serious applications outside of the niches in which it's truly beneficial - memory safety without the performance impact being that main niche. While there are other needs it can arguably meet, I don't feel it's worth using in most of those cases. Maybe this is a misunderstanding on my part, but I found it of little concrete benefit for a lot of extra work. Perhaps my initial experiences with Rust have colored my thinking on it though.
- tatterdemalion 10y agoMaybe, recognizing that your vantage point is not absolute & people who disagree are not just miscreants leading the flock astray, you shouldn't be "quite concerned" that other people had a different experience using a tool than you & express that.