Performance

Execution time

Notes:

• Exceptions are very expensive, preventing some benchmarks from finishing in reasonable time
• String operations are slow (splay) because OCaml strings cannot be mapped directly to JavaScript's immutable UTF-16 strings
• Memory allocation might be less efficient (splay, taku)

Code size

Most of the time, the generated JavaScript code is smaller than the bytecode file. The benchmarks are small programs that do not make much use of any library. The generated code remains smaller than the bytecode file for large programs (ocamlc, js_of_ocaml).

The size gain can be much larger for programs that rely on external libraries, thanks to dead code elimination.

Comparison with handwritten JavaScript

Comparing execution times between handwritten JavaScript and generated code shows that results are implementation-dependent.

Compiler optimization levels

Effect handlers impact

The performance impact of supporting effect handlers:

Size:

• Code is about 20% larger
• The impact on compressed code is much lower since we add many function definitions, which are verbose in JavaScript but compress well
• The compressed code size hardly increases for large files compressed with bzip2
• Code using Lwt, Async, or Incremental can see a larger increase (up to 45% larger, or 7% larger when compressed)

Speed:

• Almost no impact for small monomorphic programs
• Slowdown is usually below 30%
• Can be larger for code that heavily uses higher-order functions and polymorphism (Lwt code, for instance)