Unroll Monad Transformer Stacks Chapter

haskellfoundation / hs-opt-handbook.github.io

The Haskell Optimization Handbook

https://haskell.foundation/hs-opt-handbook.github.io/

Creative Commons Attribution 4.0 International

173 stars 12 forks source link

Unroll Monad Transformer Stacks Chapter #52

Open doyougnu opened 2 years ago

doyougnu commented 2 years ago

This causes slowdown due to indirection
be sure to reference known/unknown function calls
Show the Stg/Core
Give guidance on what to do
Define exactly what unroll means (it means flattening the nested tuple that is the denotation of monad transformers)
Possible case study?

doyougnu commented 2 years ago

From the proposal:

2.2.14 Removing monad transformer stacks: 
 - ReaderT, replace with `reflection` or `ImplicitParams`. 
 - Remove StateT for STRefs IORefs
 - Remove ExceptT, then throw/catch in IO instead