You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
readme.md indicates that foldrW/buildW may be expressive enough to support mapM_. I don't think mapM_ is a problem even for foldr/build, and in fact it's currently defined so it can fuse, with no obvious challenges. Some more challenging functions include scanl, scanl', mapAccumL, and foldM. These can all be written to fuse with foldr/build, but have the potential to produce terrible results if arity analysis fails. There are also simpler missed opportunities in the GHC libs like scanr and mapAccumR. I've been working on some of these issues with others, but I'm hoping your work will give everything a boost.
The text was updated successfully, but these errors were encountered:
readme.md indicates that foldrW/buildW may be expressive enough to support
mapM_
. I don't thinkmapM_
is a problem even forfoldr/build
, and in fact it's currently defined so it can fuse, with no obvious challenges. Some more challenging functions includescanl
,scanl'
,mapAccumL
, andfoldM
. These can all be written to fuse withfoldr/build
, but have the potential to produce terrible results if arity analysis fails. There are also simpler missed opportunities in the GHC libs likescanr
andmapAccumR
. I've been working on some of these issues with others, but I'm hoping your work will give everything a boost.The text was updated successfully, but these errors were encountered: