14:51 <d_bot> <carmysilna> what would be the most efficient way to insert a `char` into a `string` at a given index, using `batteries` or `Stdlib`? Right now I'm converting the string to a list and then into a vect, inserting, then converting back into a list and then a string. but that seems horribly inefficient

14:52 <rom1504> inserting in an array is inefficient

14:54 <thizanne> you could do something looking like `let (left, right) = split your_string your_index in String.concat [left; String.make 1 your_char; right]`

14:54 <thizanne> (probably not the right function names)

14:54 <thizanne> but that still wouldn't be ideally efficient, so if that's performance sensitive you might want to user another structure than strings

15:02 <d_bot> <carmysilna> should I store them as a Vect instead so its a rope? this is for a text editor, if that helps

15:21 <d_bot> <darrenldl> https://github.com/Chris00/ocaml-rope ?

15:26 <d_bot> <darrenldl> oh wait this is closer for text editing maybe https://github.com/ocaml-community/zed

17:37 <d_bot> <Bluddy> There is no great solution for string editing. Rope is the functional solution, but probably the more efficient option is a vector. I think what editors do is that they store each line in a different vector.

17:45 <d_bot> <darrenldl> a gap buffer for each line would be speedy enough right?

18:38 <d_bot> <Bluddy> yeah I guess so

18:40 <d_bot> <Bluddy> relevant https://scienceblogs.com/goodmath/2009/02/18/gap-buffers-or-why-bother-with-1

18:55 <d_bot> <carmysilna> well, my lines are very short in practice (1-5 chars maybe?) because ||this is a structured editor for mlatu (where you edit the AST) and I'm making each term appear on its own line. so when someone inserts a char, it just needs to be inserted into the rendered string and then re-parsed || tldr: I have a short `string` that will be need to be re-converted into a `string` at the end of the insert operation, as efficiently as po

23:45 <d_bot> <salt rock lamp> I heard once that Vim stores text as a vector of strings, one per line