lysdexic to Functional ProgrammingEnglish · 1 year agoMonad (functional programming) - Wikipediaen.wikipedia.orgexternal-linkmessage-square11linkfedilinkarrow-up149arrow-down17
arrow-up142arrow-down1external-linkMonad (functional programming) - Wikipediaen.wikipedia.orglysdexic to Functional ProgrammingEnglish · 1 year agomessage-square11linkfedilink
minus-squareJohn@mastodon.sociallinkfedilinkarrow-up3·1 year 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·1 year 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.