10 ms·
After scrutiny this seems to be "Coroutines and Effects" in, particularly, Rust.
by angiosperm 2y ago
After scrutiny this seems to be "Coroutines and Effects" in, particularly, Rust.
- saghm 2y agoGiven that withoutboats is a long-time major contributor to Rust, I suspect they titled the blog post with the audience of regular readers of their blog in mind rather than a more general audience like Hacker News
- steveklabnik 2y agoIt'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 2y 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 2y 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 2y 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 2y agoInteresting, I hadn't seen that context!