デカルト積二つのリスト

Question

可能性の重複：
F# - cross product of two lists
Projecting a list of lists efficiently in F#

私は2つの整数のリストを受け取り、すべてのデカルト製品を単一のリストを返す関数を持っています。私は正しいアイデアを持っているが正しい実装ではないと思う。私はいくつかのポインタを得ることができますか？

let rec cartesian = function 
| ([],[]) -> [] 
| (xs,[]) -> [] 
| ([],ys) -> [] 
| (x::xs,ys) -> List.map(fun y -> (x,y)::[]) cartesian (xs,ys) 

Answer 1

これは、簡単な修正は次のとおりです。

let rec cartesian = function 
| ([],[]) -> [] 
| (xs,[]) -> [] 
| ([],ys) -> [] 
| (x::xs, ys) -> (List.map(fun y -> x,y) ys) @ (cartesian (xs,ys)) 

アイデアは、各要素xで、あなたがリスト[(x, y1); (x, y2); ...; (x, yn)]を生成し、完全にこれらのリストを連結していることです。

あなたの関数では、最初のパターンマッチングケースは冗長です。そして、議論はカレーの形になる方がより便利です。この関数は次のようになります。

let rec cartesian xs ys = 
    match xs, ys with 
    | _, [] -> [] 
    | [], _ -> [] 
    | x::xs', _ -> (List.map (fun y -> x, y) ys) @ (cartesian xs' ys) 

あなたのアイデアを理解すれば、あなたは、高次機能List.collectが完全タスク一致していることがわかります。このケースを処理するコードはもちろん

let cartesian xs ys = 
    xs |> List.collect (fun x -> ys |> List.map (fun y -> x, y))