If a simple Array is used to hold lines of text, whenever a line is edited, the array will need to be sliced, lines modified, then put back together again. It works fine up to a limit at which point the editor becomes noticeably unresponsive. I scratched my head over this one for a while, thinking …

Efficient Text Editing Buffer

MarkHamburg October 20, 2020, 5:23am 2

See also https://en.wikipedia.org/wiki/Gap_buffer though not quite on point within a pure language.

1 Like

Topic		Replies	Views
A Pure Elm Text Editor Request Feedback	11	2330	January 29, 2020
2-3x faster List.concat implementation Request Feedback	9	1602	May 6, 2019
Elm Tooling: Text Editors Request Feedback	17	1718	November 7, 2019
Error-tolerant Elm parser (for editor tooling) Request Feedback	7	1951	June 1, 2018
Elm-deque 1.2.0 released! Show and Tell	5	1161	September 9, 2020