3 ms·
Yet another 1000-word rederivation of a monad, yawn. Wake me up when you've realised you might as well just write Haskell.
by infinity0 7y ago
Yet another 1000-word rederivation of a monad, yawn. Wake me up when you've realised you might as well just write Haskell.
- steveklabnik 7y agoYou're missing the forest for the trees. While in some abstract sense, async/await is monadic, sure, Rust does not have the ability to express the monad abstraction, and it's unclear if it ever will be able to. Those details are what makes this topic interesting.
- carterschonwald 7y agofrom my previous interactions with the rust years ago and related rust design discussions on their issue tracker,the main barrier seemed to be rooted in the unfortunate "self" trick for how "the type im instantiating a trait with" syntax making higher kinded trait support expressible as a simple extension, This is of course ignoring the related need to also write code parametrized over lifetime variable structure ..
- infinity0 7y agoIt looks like you're missing the forest for the trees. I'm perfectly aware that Rust can't express monads.
- dang 7y agoHey, could you please not post in the flamewar style here? We're trying for something other than that on HN, including avoiding old-school programming language flamewars. It's been many years since any of those were fresh. https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html