4 ms·
It's more than that: https://bsky.app/profile/without.boats/post/3kql3yr3goc23 https://bsky.app/profile/without.boats/post/3kql3yr3goc23 > Btw this is the begi
by steveklabnik 3y ago
It's more than that: https://bsky.app/profile/without.boats/post/3kql3yr3goc23 https://bsky.app/profile/without.boats/post/3kql3yr3goc23
> Btw this is the beginning of me trying to shift away from blogging about rust to blogging about PL design in general. I find that I have very little to say about Rust that I haven’t already said.
- tialaramex 3y agoRight, this is a post which kinda assumes you know Rust, but AFAICT it isn't a post specifically about Rust. In 2014 that would be extremely presumptuous or targeted at a very niche audience, however in 2024 a lot of people know Rust and so it seems much more reasonable.
- bitwize 3y agoIndeed. Rust is the language that the smart kids are using to think about higher-order programming concepts. It has begun to supplant Lisp and Haskell in that regard.
- withoutboats3 3y agoMy reference point is Rust because I've worked on or in Rust for most of the past decade, but I think the relevance of Rust for programming language design more broadly is that it is the most well-typed widely deployed imperative programming language. In this way it has an advantage over Lisp or Haskell if you're trying to think about how we might statically analyze imperative programs, which is what I'm personally most interested in.
- saghm 3y agoInteresting, I hadn't seen that context!