lysdexic@programming.dev to Functional Programming@programming.devEnglish · 8 months agoMonad (functional programming) - Wikipediaen.wikipedia.orgexternal-linkmessage-square7fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkMonad (functional programming) - Wikipediaen.wikipedia.orglysdexic@programming.dev to Functional Programming@programming.devEnglish · 8 months agomessage-square7fedilink
minus-squareJohn@mastodon.sociallinkfedilinkarrow-up0·8 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-up0·8 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.