R>open Array;;
R>let msort xs = 
R>    let rec sort bgn fin =
R>        let rec merge bgn mid fin =
R>            let shift () = blit xs bgn xs (bgn + 1) (mid - bgn) in
R>            if mid >= fin || bgn >= mid then ()
R>            else let x, y = xs.(bgn), xs.(mid) in
R>                 let change () = (shift (); xs.(bgn) <- y) in
R>                 let bgn, mid = if x <= y then (bgn + 1, mid)
R>                                else (change (); (bgn, mid + 1))
R>                 in merge bgn mid fin in
R>        if fin - bgn <= 1 then ()
R>        else let mid = (fin + bgn) / 2 in
R>             let () = sort bgn mid; sort mid fin
R>             in merge bgn mid fin
R>    in sort 0 (length xs);;
R>

static void SmartQSort<T>(T[] arr, int lo, int hi, IsLess<T> isLess)
{
    int i = lo;
    int j = hi;
    T sep = arr[(lo + hi) >> 1];
    while (i <= j)
    {
        while (isLess(arr[i], sep))
            i++;
        while (isLess(sep, arr[j]))
            j--;

        if (i <= j)
        {
            T tmp = arr[i];
            arr[i] = arr[j];
            arr[j] = tmp;
            i++;
            j--;
        }
    }

    if (lo < j)
        SmartQSort(arr, lo, j, isLess);
    if (i < hi)
        SmartQSort(arr, i, hi, isLess);
}

static void SmartQSort<T>(T[] arr, int lo, int hi, IsLess<T> isLess)
{
    int i = lo, j = hi;    T sep = arr[(lo + hi) >> 1];
    while (i <= j) {
        while (isLess(arr[i], sep)) i++; while (isLess(sep, arr[j])) j--;
        if (i <= j) { T tmp = arr[i]; arr[i] = arr[j]; arr[j] = tmp; i++; j--; }
    }

    if (lo < j) SmartQSort(arr, lo, j, isLess);
    if (i < hi) SmartQSort(arr, i, hi, isLess);
}

GN>>ocamlopt -inline 100 ray.ml -o ray
GN>>

G>Ай-ай-ай-ай, как не стыдно! Флейма развели как малые дети — а сами жульничаем потихоньку, да?

Microsoft-based native Win32 port

 Содержимое папки C:\compilers\Objective Caml\bin

04.12.2005  22:12    <DIR>          .
04.12.2005  22:12    <DIR>          ..
27.10.2005  11:19           430 203 camlp4.exe
27.10.2005  11:19           535 021 camlp4o.exe
27.10.2005  11:19           999 424 camlp4o.opt.exe
27.10.2005  11:19           512 065 camlp4r.exe
27.10.2005  11:19           798 720 camlp4r.opt.exe
27.10.2005  11:19               942 mkcamlp4
27.10.2005  11:19         1 077 317 ocaml.exe
27.10.2005  11:19         1 319 007 ocamlbrowser.exe
27.10.2005  11:19         1 003 851 ocamlc.exe
27.10.2005  11:19         1 449 984 ocamlc.opt.exe
27.10.2005  11:19            83 932 ocamlcp.exe
27.10.2005  11:19           281 750 ocamldep.exe
27.10.2005  11:19         1 524 756 ocamldoc.exe
27.10.2005  11:19         2 023 424 ocamldoc.opt.exe
27.10.2005  11:19           159 571 ocamllex.exe
27.10.2005  11:19           372 736 ocamllex.opt.exe
27.10.2005  11:19            83 797 ocamlmktop.exe
27.10.2005  11:19         1 194 864 ocamlopt.exe
27.10.2005  11:19         1 687 552 ocamlopt.opt.exe
27.10.2005  11:19           274 020 ocamlprof.exe
27.10.2005  11:19           122 880 ocamlrun.dll
27.10.2005  11:19             3 584 ocamlrun.exe
27.10.2005  11:19            98 304 ocamlyacc.exe
27.10.2005  11:19           266 519 ocpp.exe
              24 файлов     16 304 223 байт
               2 папок     150 116 352 байт свободно

ocamlopt -inline 100 -unsafe -ffast-math -ccopt -O3 ray.ml -o ray

cl : Command line warning D9002 : ignoring unknown option '-O3'

ocalmopt 
(Microsoft-based native Win32 port  3.09.0)  Новые результаты

30,60 сек                                    29,48 сек
30,69 сек                                    29,48 сек
30,59 сек                                    29,48 сек

"cl" не является внутренней или внешней
командой, исполняемой программой или пакетным файлом.
Error during linking

GN>>Зачем я буду сравнивать с gcc? Вы мне ещё предложите для компиляции С++ его использовать. Есть куда более качественные бесплатные компиляторы. Я сравниваю со своим _обычным_ инструментом. Меня в первую очередь интересует как будет это работать на платформе, которая нужна _мне_.

G>Затем, что ты опять в... пытаешься ввести общественность в заблуждение касательно своих намерений. Ты тут недалеко говорил, что ты не согласен с излишне категорично фразой, что ocaml может быть быстрее С++ (делая такой вид). Речь идет не о тебе, и о том что тебе надо (это ни мне ни общественности не интересно)

R>>(* список - это всего лишь  *)
R>>type 'a list = Nil | Cons of 'a * 'a list

type 'a mylist = Nil | Bush 'a * 'a mylist
(* и сразу: *)

# Bush (1, Bush (2, Nil));;
- : int mylist = Bush (1, Bush (2, Nil))

let rec qsort = function
     | Nil -> Nil
     | Bush (x, xs) -> let left,right = partition ((>) x) xs
                       in concat (qsort left) (Bush (x, qsort right));;

type 'a fastlist = FastList of 'a list * 'a list