I guess it is needed, in some cases. There have been two attempts in the recent past but the resolution seems to have been, “foldr is just reverse + foldl so do that instead”. The full discussions are in PR35 and PR727.
I guess it is needed, in some cases. There have been two attempts in the recent past but the resolution seems to have been, “foldr is just reverse + foldl so do that instead”. The full discussions are in PR35 and PR727.