Re: List and String concatenation speed.
Kostirya <[email protected]> Mon, 29 Aug 2016 16:46:40 +0300
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAG+QnTe2ZCaQaQd6CVWa144RvVnaO=Ujx1ase6NQz9Pt6c6U1Q@mail.gmail.com> |
Yes. Poly/ML use memmove to to implement String.^ 2016-08-29 16:21 GMT+03:00 Matthew Fluet <[email protected]>: > >> poly --script string_concat.sml > > 0.462269 > > > >> mlton string_concat.sml && ./string_concat > > 2.713323 > > It looks like Poly/ML uses memmove to implement String.^, which would > be more efficient for character sequences. > -- You received this message because you are subscribed to the Google Groups "MLton-user" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. ------------------------------------------------------------------------------ _______________________________________________ MLton-user mailing list [email protected]; [email protected] https://lists.sourceforge.net/lists/listinfo/mlton-user