F＃高次関数にパラメータをパイプする、または独自の関数を宣言する

Question

入力リストを別の型に処理する関数がありますが、それ自体は面白いことではありません。

let testList = [(1,"c");(2,"a");(1,"b")] 

let rec toRel xs = 
    let rec insert (a, b) ys = 
     match ys with 
     | []      -> [(a, [b])] 
     | (a', b')::ys' when a' = a -> (a', b::b')::ys' 
     | y::ys'     -> y::insert (a, b) ys' 
    match xs with 
    | []   -> [] 
    | (a,b)::rest -> insert (a, b) (toRel rest) 

toRel testList //Expected [(1, ["c";"b"]); (2, ["a"])] 

これはよく良好であり、にリファクタリングすることができます。同じ結果を与える

testList |> List.groupBy xs |> List.map (fun (k, v) -> (k, list.map snd v)) 

。

このパイピングプロセスを関数にカプセル化しようとすると、問題が発生します。

let toRelHigherOrder xs = List.groupBy xs |> List.map (fun (k, v) -> (k, list.map snd v)) 

toRelHigherOrder testList 

This expression was expected to have type ''a -> 'b' but here has type '(int * string) list。

何がありますか？

Answer 1

私はあなたのパイプが間違っていると思うが、それは次のようになります。

testList |> List.groupBy fst |> List.map (fun (k, v) -> (k, List.map snd v)) 

ので、あなたの関数は次のようになります。

let f x = x |> List.groupBy fst |> List.map (fun (k, v) -> (k, List.map snd v))