haskman@programming.dev to Rust@programming.dev · 11 months agoExtending Rust's Effect Systemblog.yoshuawuyts.comexternal-linkmessage-square3fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkExtending Rust's Effect Systemblog.yoshuawuyts.comhaskman@programming.dev to Rust@programming.dev · 11 months agomessage-square3fedilink
minus-squareaubeynarf@lemmynsfw.comlinkfedilinkarrow-up0·11 months agoThey seem quite afraid of mentioning the basis for effects that Haskell, Scala et al have used for years - Monads. So they’re going to re-invent it all 🙃
minus-squarecbarrick@lemmy.worldlinkfedilinkEnglisharrow-up0·11 months agoThe Rust folks know their CS and PL theory. Of course they’ve considered monads.
minus-squareaubeynarf@lemmynsfw.comlinkfedilinkarrow-up0arrow-down1·edit-211 months agoThe guy writing didn’t know about generics, so…. (to be clear, I trust the rust core devs know about these things, I’m implying that they are afraid to reference them directly because they think the M word will scare people)
They seem quite afraid of mentioning the basis for effects that Haskell, Scala et al have used for years - Monads.
So they’re going to re-invent it all 🙃
The Rust folks know their CS and PL theory. Of course they’ve considered monads.
The guy writing didn’t know about generics, so…. (to be clear, I trust the rust core devs know about these things, I’m implying that they are afraid to reference them directly because they think the M word will scare people)