Currently, if users want to achieve foldr on a String, they have to choose one from the alternatives below as their workaround: collect the string and get a char array, and foldr among this array, causing redundant copy once. foldl among a reversed String, causing redundant copy once. find the s…

Allow foldr operation for Strings?

stevengj April 20, 2019, 6:11pm 4

This is a bug:

4 Likes