[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	9565	October 30, 2018
Retrieving elements of a set as a concatenated string Learning	4	2324	November 9, 2017
Format vs PPrint in practice? Community	2	483	May 4, 2023
Fastest way to string escape: ' -> '', \ -> \\ Learning	6	704	February 7, 2023
Edit a string in OCAML Ask Question Learning	2	1393	February 13, 2018

Best practice for performant string operation?

Related Topics