lysdexic@programming.dev to Functional Programming@programming.devEnglish · 7 months agoMonad (functional programming) - Wikipediaen.wikipedia.orgexternal-linkmessage-square11fedilinkarrow-up145arrow-down16
arrow-up139arrow-down1external-linkMonad (functional programming) - Wikipediaen.wikipedia.orglysdexic@programming.dev to Functional Programming@programming.devEnglish · 7 months agomessage-square11fedilink
minus-squareJohn@mastodon.sociallinkfedilinkarrow-up3·7 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-up11·7 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.