A gap buffer is an example of a data structure for text that is optimized for on...

		quelsolaar on Feb 12, 2021 \| parent \| context \| favorite \| on: We don't need a string type (2013) A gap buffer is an example of a data structure for text that is optimized for one usage pattern, and performs badly with other patterns. Generalized text structures are hard.