The Computer Language Shootout

[James Hague]

On 3/26/06, Ulf Wiger <ulf@REDACTED> wrote:
>
> OCaml has very strict static type system. This helps a lot, as no runtime
> type checks are necessary.

Additionally, OCaml allows you to write code in an imperative style,
so if you want to destructively update variables and arrays and lean
heavily in the direction of C, then you can do so.  I've noticed this
is common in OCaml benchmarks.