OT (partially): about promotion of integers

[Walter Bright]

On 12/12/2012 5:32 PM, bearophile wrote:
> One "important" firm uses OcaML for high speed trading because it's both very
> fast (C++-class fast, faster than Java on certain kinds of code, if well used)
> and apparently quite safer to use than C/C++. And it's harder to find OcaML
> programmers than C++ ones.

Fair enough, so I challenge you to write an Ocaml version of the input sorting 
program I presented in this thread in Haskell and D versions.