we have $instok $deltok $puttok etc.

can we please have analogues for strings and characters, $ins $del $put. eg:

$ins(abc,d,2) = adbc
$put(abc,d,2) = adc
$del(abc,2) = ac

sure there are methods involving $left/$right/$mid but those are uncomfortable and these just seem like such obviously useful additions

perhaps even a $rep and $rem if deemed applicable

at the very least could a delimiter of 0 in the token identifiers be used to achieve this behavior. currently 0 doesn't return anything useful

ie $puttok(abc,d,1,0) = d

but can't we let it = dbc

please please please consider this laugh


"The only excuse for making a useless script is that one admires it intensely" - Oscar Wilde