stdlib

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

The equivalent function as dynamic.typed_list but for maps.

mapping function should accept tuple(Dynamic, Dynamic) and return Result(t, String)

Note, this comes from an IRC conversation. I've elected to suggest this over a map.map function, as it was the problem I was having that day. I don't know if there want to also be an issue for map.map