Comment on Rust is Eating JavaScript
solrize@lemmy.world 5 days agoInteresting 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/
solrize@lemmy.world 4 days ago
I’ll probably have to read through it or maybe the Ferrocene standard, but for now, Comprehensive Rust is pretty good. I’ve been busy today but hope to finish it soon. Is it really true as someone mentioned that Rust binaries are always statically linked? That has its attractions but I would hope it’s controllable. Can you use the regular linker (ld) with it?