Сортировка простыми включениями

let a  = [|9;8;7;6;5;4;3;2;1;0|]

for i = 1 to a.Length - 1  do
    let x = a.[i]
    let mutable j = i - 1 
    while j >= 0 && x < a.[j] do
        a.[j + 1] <- a.[j]
        j <- j - 1
    a.[j + 1] <- x        

printfn "%A" a