sieve primes i
    | i == Size    = primes
     | primes.[ i ] = sieve { primes & [ n * i ] = False \\ n <- [ 2.. (Size - 1)/i ] } ( i + 1 )
                        = sieve primes ( i + 1 )

10 input(n)
20 длинный алгоритим без ввода-вывода
1000 output(s)

int main()
{
    timer_t timer;
    unsigned size=100000000;
    std::vector<char> is_prime(size, true);    //помечаем все числа как простые
    for(unsigned i=2;i<size;++i)            //ищем очередное не вычеркнутое число
        if(is_prime[i])                        //i очередное простое число
            for(unsigned n=i+i;n<size;n+=i)    //вычеркиваем все числа кратные данному числу
                is_prime[n]=false;
    std::cout<<timer.time()<<"\n";
}

; 34   :     unsigned size=100000000;
; 35   :     std::vector<char> is_prime(size, true);    //помечаем все числа как простые

    lea    edx, DWORD PTR $T72542[esp+72]
    push    edx
    push    100000000                ; 05f5e100H
    lea    ecx, DWORD PTR _is_prime$[esp+80]
    mov    BYTE PTR $T72542[esp+80], 1
    call    ?_Construct_n@?$vector@DV?$allocator@D@std@@@std@@QAEXIABD@Z ; std::vector<char,std::allocator<char> >::_Construct_n

; 36   :     for(unsigned i=2;i<size;++i)            //ищем очередное не вычеркнутое число

    mov    esi, DWORD PTR _is_prime$[esp+76]
    mov    DWORD PTR __$EHRec$[esp+80], 0
    mov    ecx, 2
    npad    5
$L64503:

; 37   :         if(is_prime[i])                        //i очередное простое число

    cmp    BYTE PTR [esi+ecx], 0
    je    SHORT $L64504

; 38   :             for(unsigned n=i+i;n<size;n+=i)    //вычеркиваем все числа кратные данному числу

    cmp    ecx, 50000000                ; 02faf080H
    lea    eax, DWORD PTR [ecx+ecx]
    jae    SHORT $L64504
$L64508:

; 39   :                 is_prime[n]=false;

    mov    BYTE PTR [esi+eax], 0
    add    eax, ecx
    cmp    eax, 100000000                ; 05f5e100H
    jb    SHORT $L64508
$L64504:

; 36   :     for(unsigned i=2;i<size;++i)            //ищем очередное не вычеркнутое число

    inc    ecx
    cmp    ecx, 100000000                ; 05f5e100H
    jb    SHORT $L64503

let (min,max) = (main_and_max_of_list somelist) in
print_int min; 
print_int max;

Q>>data Expr = Var String | Integer Int | Str String | Assign Var Expr | Func Var [Expr]
Q>>

string_of_expr expr = match expr with
  |Var v -> "variable %s" v
  |Str v -> "string %s" v
  |Int v -> "integer %d" v
  |Assign lv rv -> sprintf "let %d = %d" (string_of_expr lv) (string_of_expr rv)
  | _ -> "don't know how to write it"

a->[a]
Q>>

let inc v = add 1 v

let inc = add 1

let (x,y,z) = ("a",(1,'a'),'b')

data Tree = Node Tree Tree | Leaf Int
do_something tree = 
  case tree of
    Node left right -> ...
    Leaf value -> ...

Q>>data Expr = Var String | Integer Int | Str String | Assign Expr Expr | Func Expr [Expr]
Q>>

union Expr = {
  Var : String,
  Integer : Int,
  Str : String,
  Assign: { Expr, Expr },
  Func : { Expr, [Expr] }
}

Q>>Assign (Var "my_var") (Func (Var "my_func") [(Str "str"),(Integer 10)])
Q>>

a->[a]
Q>>

Q>>my_func my_func2
Q>>my_func:(my_func my_func2)
Q>>

B>Я понимаю что многого хочу, но если есть желание объяснять, то я готов разбираться

       open Pcaml;;
       EXTEND
         expr: LEVEL "expr1"
           [[ "repeat"; e1 = expr; "until"; e2 = expr ->
                 <:expr< do { $e1$; while not $e2$ do { $e1$; } } >> ]];
       END;;