Comment on Rust is Eating JavaScript
asdfasdfasdf@lemmy.world 5 days ago- Rust is the best language for writing WASM in, so you can write Rust and run it in the browser without transpiling to JS.
- Rust isn’t just about speed or GC pauses. Its type system is amazing and allows you to encode things that you cannot in any other mainstream language.
- It’s so incredibly well designed, it fewla like that clip from Ricky and Morty where Morty feels what standing on a truly even plane feels like then has a panic attack when he leaves. Rust rethought everything from scratch, and isn’t just some new syntax or fancy compiler tricks. No null, no exceptions, no inheritance, new typing capabilities, etc.
solrize@lemmy.world 5 days ago
Interesting point about Wasm if that is important. You can also compile C++ to wasm but then its C++ ;). I don’t know about Ada to Wasm.
I don’t think Rust is quite mainstream yet either. My impression is that its type system has not caught up with Haskell’s except in a few areas, but of course nobody pretends Haskell is mainstream. I haven’t yet tried Idris.
Golang seems to have a decent runtime model (lightweight threads, GC) though the language itself is underpowered. There is a Golang backend for Purescript that sounded interesting to me. The thing that turned me off the most about Purescript was the JS tooling. Purescript (purescript.org) is/was a Haskell-like language that transpiles to JS, intended for use in browsers, but Typescript filled this space before Purescript got much traction. That felt unfortunate to me.
I don’t think HLL (high level language) has an official definition, but informally to me it has generally meant that the language is GC’d and that the native integer type is unbounded (bignum). By that standard, Rust and Ada are low level. I’ve so far thought of Rust as a modernized Ada with curly braces and more control of dynamic memory reclamation. Maybe there is more going on than that. Ada is still ahead of Rust in some ways, like generic packages, but Rust is working on that.
If you have a suggestion of a no-nonsense Rust book, I’d be interested in looking at it. doc.rust-lang.org/book/ beat around the bush way too long before discussing the language, but I guess I should spend more time with it.
asdfasdfasdf@lemmy.world 5 days ago
I’d say Rust is definitely mainstream. Obviously not the level of JS or Python, but it’s being used all over the place. All major FAANG companies, the Linux kernel, JS runtimes, web browsers, Signal…
IMO GC has nothing to do with high or low level. It’s just incidental that there’s a correlation. In GC you usually don’t need to think about manually allocating or deallocating memory or truly understand what pointers are (in some ways anyway). In C / C++ you do.
In Rust you almost never manually allocate or deallocate, and you have both very high and low level APIs.
I’d say Rust is both high and low level. It just depends what you use it for.
As for books, maybe you’d like trying Rustlings instead.
Hexarei@programming.dev 4 days ago
I like to describe this as “low level language with high level ergonomics”
solrize@lemmy.world 5 days ago
Thanks, Rustlings doesn’t sound like what I want either. I was hoping for a counterpart of Stroustrup’s C++ Reference Manual, or Riehle’s “Ada Distilled” or even K&R’s book on C. Something that systematically describes the language rather than distractions like the toolchain, mini projects, cutesey analogies, etc. I’m being too persnickity though, mostly because it hasn’t been important to me so far.
Hexarei@programming.dev 4 days ago
Sounds like you want the Rust Book: doc.rust-lang.org/book/