lysdexic@programming.dev to Functional Programming@programming.devEnglish · 2 years agoMonad (functional programming) - Wikipediaen.wikipedia.orgexternal-linkmessage-square7linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkMonad (functional programming) - Wikipediaen.wikipedia.orglysdexic@programming.dev to Functional Programming@programming.devEnglish · 2 years agomessage-square7linkfedilink
minus-squareJohn@mastodon.sociallinkfedilinkarrow-up0·2 years 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-up1·2 years 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.