strings

Description

A function to pad a string with zeros or another symbol to a given width could be helpful in many cases, especially together with the to_string() function for integer to string conversion.

Currently available methods to achieve this are using concatenation

width = 32
str = "hello"
padded_str = repeat('0',width-len(str)')//str

and perhaps also internal file I/O

It would be useful if this information (boxed in red) were able to be copy and pasted:

4,086,800 strings, 630,116 unique. 468,564,642 total string bytes, of which 342,442,924 (73.1%) are wasted on duplicates (12.6% of 2,708,496,737 managed heap bytes).

For now I am working around