[image] [ANN] First Release of ppx_pyformat 0.1.1 Community Using ^ for concatenation for each elements looks inefficient. Generating a call to String.concat "" should be more efficient and quite comparable in term of complexity for the code generator. I recently rece…

Let’s examine this code: let align_left w c s = let len = String.length s in if len >= w then s else s ^ String.make (w - len) c (* 1: 2 allocations + 2 copies *) The line marked 1 has 2 allocations: one for the new string, and one for the concatenation, and 2 copies: again, one for …

Best practice for performant string operation?

Learning

mseri February 17, 2022, 9:46am 5

Tangentially related, have a look also at this thread for a discussion and benchmarks on the subject

Topic		Replies	Views
What's the fastest way to concatenate strings? Learning	14	10571	October 30, 2018
Could we move string and bytes to sliced types? Ecosystem language	27	915	December 31, 2024
Should we have a `String.rev` in `Stdlib`? Ecosystem stdlib	36	3872	January 25, 2022
Optimizing small vector operations Learning	35	1935	April 4, 2023
[ANN] reed-solomon-erasure 1.0.1 Ecosystem announce	13	1859	August 1, 2018

Best practice for performant string operation?

Related topics