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

Topic		Replies	Views
Accumulating strings dynamically General Usage	5	539	December 3, 2020
String indices : byte indexing feels wrong New to Julia strings , unicode	18	1573	December 5, 2023
Inconsistency between `replace` on an `AbstractString` vs. `Vector{Char}` Internals & Design	4	711	January 7, 2018
StringIndex idea (Julia 2.0) Internals & Design strings , indexing	72	3694	March 27, 2024
Why don't operations on strings constant-fold? Performance strings , constant-propagation	9	701	February 14, 2023