Is there a syntax for

removeThisCharacters

from an entire string?

"abc".replace("a", "")

vs an idealized

"abc".remove("a")

There is

removePrefix

,

removeSuffix

and

removeSurrounding

, but not a plain

remove

😞

maybe write an extension function for partial application of

replace

to give you your idealised

remove

function? 🙂

But then I'd have to maintain it! Can I sneak it into the STDLib instead? 🙊

replace("a", "")

seems to be the most concise, but also consider

filter { it != 'a' }

to avoid having to turn the char 'a' into the string "a".

in principle, there could be implementations of

remove('a')

that are more efficient than

filter { it != 'a' }

. in practice, JVM doesn't have them so it doesn't matter