Hello.
I found that Poly/ML very very slowly compiles (30 seconds) functions
with very large count of pattern matching items (1400 items).
I need to replace the pattern matching with many if-then-else.
But the pattern matching works a faster for mlton and smlnj.
Therefore, I want to use the pattern matching. :-)
Also noticed that Poly/ML very slow for it. Even SML/NJ is faster for it.
Below is the code for benchmark and result.
fun fc 0wx41 f r = f (0wx61, r)
| fc 0wx42 f r = f (0wx62, r)
| fc 0wx43 f r = f (0wx63, r)
...
| fc 0wx1f80 f r = f (0wx3b9, f (0wx1f00, r))
| fc 0wx1f81 f r = f (0wx3b9, f (0wx1f01, r))
| fc 0wx1f82 f r = f (0wx3b9, f (0wx1f02, r))
...
| fc 0wx1e920 f r = f (0wx1e942, r)
| fc 0wx1e921 f r = f (0wx1e943, r)
| fc w f r = f (w, r)
1400 items
fun runBench N name f =
let
fun loop 0 f = ()
| loop i f = (f (); loop (i - 1) f)
val t0 = Time.now ()
val _ = loop N f
val t1 = Time.now ()
in
print (name ^ " " ^ Real.toString(Time.toReal(Time.-(t1, t0))) ^ "\n")
end
val _ = runBench 1000000 "latin a" (fn () => (fc 0w97 (op ::) []))
val _ = runBench 1000000 "Sharp s" (fn () => (fc 0wxdf (op ::) []))
val _ = runBench 1000000 "Cyr Yi " (fn () => (fc 0wx407 (op ::) []))
val _ = runBench 1000000 "last " (fn () => (fc 0wx1e921 (op ::) []))
> time poly --script unicode-case.sml ; echo "===" ; time poly --script unicode-if.sml ; echo "===" ; time poly --script unicode-if-opt.sml
latin a 4.557194
Sharp s 4.073306
Cyr Yi 2.902266
last 0.015322
47.325u 1.456s 0:48.23 101.1% 11246+419k 0+0io 0pf+0w
===
latin a 4.584374
Sharp s 0.065816
Cyr Yi 0.290468
last 4.698412
9.848u 0.046s 0:09.88 100.0% 11307+421k 0+0io 0pf+0w
===
latin a 0.015102
Sharp s 0.024983
Cyr Yi 0.030565
last 0.101628
0.463u 0.030s 0:00.43 113.9% 11499+428k 0+0io 0pf+0w
MLton
> ./unicode-case ; echo "===" ; ./unicode-if ; echo "===" ; ./unicode-if-opt
latin a 0.00119
Sharp s 0.001167
Cyr Yi 0.001176
last 0.001172
===
latin a 0.541467
Sharp s 0.024442
Cyr Yi 0.121234
last 0.537045
===
latin a 0.013061
Sharp s 0.025635
Cyr Yi 0.154532
last 0.550286
> sml unicode-case.sml
Standard ML of New Jersey v110.77 [built: Sun Jun 24 00:25:15 2018]
[opening unicode-case.sml]
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
latin a 0.001608
Sharp s 0.00166
Cyr Yi 0.001546
last 0.001552
val fc = fn : word -> word list -> word list
val runBench = fn : int -> string -> (unit -> 'a) -> unit
- ^D
> sml unicode-if.sml
Standard ML of New Jersey v110.77 [built: Sun Jun 24 00:25:15 2018]
[opening unicode-if.sml]
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
latin a 0.550017
Sharp s 0.02571
Cyr Yi 0.121336
last 0.548638
val fc = fn : word -> word list -> word list
val runBench = fn : int -> string -> (unit -> 'a) -> unit
- ^D
> sml unicode-if-opt.sml
Standard ML of New Jersey v110.77 [built: Sun Jun 24 00:25:15 2018]
[opening unicode-if-opt.sml]
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
latin a 0.014573
Sharp s 0.027239
Cyr Yi 0.124949
last 0.557338
val fc = fn : word -> word list -> word list
val runBench = fn : int -> string -> (unit -> 'a) -> unit
- ^D
