text icon indicating copy to clipboard operation
text copied to clipboard

Add a function `slice start end = take (end − start) . drop start`?

Open kindaro opened this issue 3 months ago • 6 comments

Many languages offer a feature that lets you take a substring by indices real quick. It is handy. Here is an example from JavaScript:

> "Hello World".slice (6, 11)
'World'

One frequent use case is when you have a parse tree annotated with locations and you want to recover the literal source of a given syntactic element. With slice, this is done at once.

Can we add such a function to text? Maybe it can have a more efficient implementation than take … . drop …?

kindaro avatar Mar 17 '24 17:03 kindaro