Дан массив произвольной длины, элементы которого в интервале от -10 до 10

let rec map = 
    function 
    | [] -> []
    | h :: t when h = 0 -> h :: map t
    | h :: t -> map t @ [ h ]

map [ 5; 0; 0; -4; 5; 0; 3; 3; 5; 0; -2; 0; 0 ]

let der m x = 
    match m with
    | z -> 
        match x with
        | 0 -> 0 :: z
        | n -> z @ [ n ]

let map x = List.fold der ([]) x

map [ 5; 0; 0; -4; 5; 0; 3; 3; 5; 0; -2; 0; 0 ]

let map = function 
    | n, m -> n @ m
let wrt m = map (List.partition (fun elem -> elem = 0) m)

wrt [ 9; 0; 6; 7; 0; 0; 0; 5; 6; 5; 5; 4; 5; 0 ]

let map xs= 
    let rec loop acc xs =
        match acc with
        | (zeros, others) ->
            match xs with
            | 0 :: t -> ....
            | h :: t -> ....
            | [] -> ....
    loop ([], []) xs

let map xs = let a, b = List.partition ((=)0) xs in a @ b

let map m = 
    let rec loop m acc = 
        match m with
        | [] -> acc
        | 0 :: t -> loop t (0 :: acc)
        | h :: t -> loop t (acc @ [ h ])
    loop m []

map [ 5; 0; 0; -4; 5; 0; 3; 3; 5; 0; -2; 0; 0 ]

let mapi m = 
    let rec loop acc m = 
        match acc with
        | z, s -> 
            match m with
            | 0 :: t -> loop (0 :: z, s) t
            | h :: t -> loop (z, h :: s) t
            | [] -> acc
    loop ([], []) m

let map x = 
    let a, b = mapi x
    a @ b

map [ 5; 0; 0; -4; 5; 0; 3; 3; 5; 0; -2; 0; 0 ]

let map m = List.filter ((=) 0) m @ List.filter ((<>) 0) m

map [ 0; 5; -6; 0; 0; 0; 5; 0; 3; -1 ]