1 : Are the OCaml programs faster? At a glance.
Each chart bar shows, for one unidentified benchmark, how much the fastest OCaml program used compared to the fastest Haskell GHC program.
These are not the only compilers and interpreters. These are not the only programs that could be written. These are not the only tasks that could be solved. These are just 10 tiny examples.
2 : Are the OCaml programs faster? Approximately.
Each table row shows, for one named benchmark, how much the fastest OCaml program used compared to the fastest Haskell GHC program.
| OCaml used what fraction? used how many times more? | ||||
|---|---|---|---|---|
| Benchmark | Time | Memory | Code | |
| reverse-complement † | 1/2 | 1/10 | ± | |
| regex-dna | 1/2 | 11× | ± | |
| pidigits † | ± | ± | 2× | |
| k-nucleotide | ± | 5× | ± | |
| spectral-norm | ± | 2× | ± | |
| binary-trees | ± | 1/4 | ± | |
| fannkuch-redux | 2× | 6× | ± | |
| mandelbrot | 2× | 1/9 | ± | |
| n-body | 2× | 1/3 | 1/2 | |
| fasta | 3× | ± | ± | |
| OCaml used what fraction? used how many times more? | |||||||
|---|---|---|---|---|---|---|---|
| Time-used | |- | |--- | 25% | median | 75% | ---| | -| |
| (Elapsed secs) | 1/2 | 1/2 | ± | ± | 2× | 3× | 3× |
† possible mismatch - one-core program compared to multi-core program.
± read the measurements and then read the program source code.
3 : Are the OCaml programs faster? Measurements.
These are not the only tasks that could be solved. These are just 10 tiny examples. These are not the only compilers and interpreters. These are not the only programs that could be written.
For each named benchmark, measurements of the fastest OCaml program are shown for comparison against measurements of the fastest Haskell GHC program.
| Program Source Code | CPU secs | Elapsed secs | Memory KB | Code B | ≈ CPU Load |
|---|---|---|---|---|---|
| reverse-complement | |||||
| OCaml | 0.00 | 0.90 | 12,600 | 1314 | 62% 51% 67% 78% † |
| Haskell GHC | 1.90 | 1.73 | 125,816 | 999 | 42% 5% 5% 63% † |
| regex-dna | |||||
| OCaml | 0.14 | 0.57 | 445,032 | 1050 | 75% 76% 95% 77% |
| Haskell GHC | 3.33 | 1.05 | 39,784 | 1518 | 88% 78% 81% 79% |
| pidigits | |||||
| OCaml | 3.80 | 3.81 | 5,704 | 560 | 76% 0% 1% 24% † |
| Haskell GHC | 6.58 | 4.17 | 5,972 | 341 | 36% 51% 38% 34% † |
| k-nucleotide | |||||
| OCaml | 6.32 | 2.86 | 227,692 | 1789 | 32% 29% 66% 100% |
| Haskell GHC | 9.07 | 2.62 | 47,624 | 1965 | 90% 84% 90% 83% |
| spectral-norm | |||||
| OCaml | 17.99 | 4.79 | 3,092 | 938 | 99% 99% 99% 99% |
| Haskell GHC | 15.72 | 4.06 | 1,248 | 984 | 97% 97% 97% 97% |
| binary-trees | |||||
| OCaml | 41.33 | 16.37 | 101,016 | 784 | 95% 69% 55% 35% |
| Haskell GHC | 36.99 | 12.30 | 365,756 | 612 | 68% 67% 67% 99% |
| fannkuch-redux | |||||
| OCaml | 0.01 | 26.07 | 18,544 | 1017 | 100% 100% 100% 100% |
| Haskell GHC | 66.80 | 17.02 | 3,264 | 1153 | 100% 99% 100% 94% |
| mandelbrot | |||||
| OCaml | 85.76 | 21.55 | 3,988 | 710 | 100% 100% 100% 100% |
| Haskell GHC | 43.94 | 11.02 | 33,928 | 782 | 100% 100% 100% 100% |
| n-body | |||||
| OCaml | 47.67 | 47.68 | 580 | 1239 | 1% 0% 0% 100% |
| Haskell GHC | 24.77 | 24.02 | 2,008 | 1874 | 11% 58% 35% 1% |
| fasta | |||||
| OCaml | 11.75 | 11.76 | 1,636 | 1042 | 0% 0% 0% 100% |
| Haskell GHC | 4.28 | 3.80 | 2,276 | 979 | 41% 62% 5% 4% |
| fasta-redux | |||||
† possible mismatch - one-core program compared to multi-core program.
4 : Are there other OCaml programs for these benchmarks?
Remember - those are just the fastest OCaml and Haskell GHC programs measured on this OS/machine. Check if there are other implementations of these benchmark programs for OCaml.
Maybe one of those other OCaml programs is fastest on a different OS/machine.
5 : Are there other faster programs for these benchmarks?
Remember - those are just the fastest OCaml and Haskell GHC programs measured on this OS/machine. Check if there are faster implementations of these benchmark programs for other programming languages.
Maybe one of those other programs is fastest on a different OS/machine.
OCaml : modular type-safe strict functional programming plus objects
The OCaml native-code compiler, version 4.00.1
Home Page: http://www.ocaml.org/
Download: http://caml.inria.fr/download.en.html