lysdexic@programming.dev to Functional Programming@programming.devEnglish · 11 months agoMonad (functional programming) - Wikipediaen.wikipedia.orgexternal-linkmessage-square11fedilinkarrow-up149arrow-down17
arrow-up142arrow-down1external-linkMonad (functional programming) - Wikipediaen.wikipedia.orglysdexic@programming.dev to Functional Programming@programming.devEnglish · 11 months agomessage-square11fedilink
minus-squareJohn@mastodon.sociallinkfedilinkarrow-up3·11 months ago@demesisx @lysdexic No safety issues mentioned around ReaderT. The speaker was talking about how stacking monad transformers mtl-style can generate unnecessary closures that GHC can’t optimise away.
minus-squaredemesisx@infosec.publinkfedilinkEnglisharrow-up10·11 months agoThanks for the clarification.
@demesisx @lysdexic No safety issues mentioned around ReaderT. The speaker was talking about how stacking monad transformers mtl-style can generate unnecessary closures that GHC can’t optimise away.
Thanks for the clarification.