Arraysort f＃は欲しい型を与えていません

Question

配列をリストに変換することで配列を整理する関数を作成しました（少し愚かかもしれませんが、それは私の解決策です）。とにかく、他の同様のソート関数のような型では表示されません。 sort : (’a [] -> ’a []) when ’a : comparisonのようにしたいと思います。私の行く：

val arraySort : array:int [] -> int [] 
val it : unit =() 

Answer 1

最初のステップ、すべてのタイプの注釈を削除します。あなたは通常、必要な時にのみそれを入れます（つまり、推論が少しの助けなしに物を決めることができないときなど） 2番目のステップは、モジュール内の関数（ここでは配列モジュール）を使って推論することができます

let rec putNumber value = function 
    | []      -> [value] 
    | x :: xs when value <= x -> [value; x] @ xs 
    | x :: xs     -> x :: putNumber value xs 

let sort array = 
    let len = Array.length array 

    let rec sortList blist index = 
    let value = Array.get array index 
    let clist = putNumber value blist 

    if index < len - 1 
    then sortList clist (index + 1) 
    else clist 

    sortList [] 0 
    |> List.toArray