两份名单的排列(Permutations of two lists)

我有一个char list中OCAML。我想创建一个( (char * bool) list) list的每个组合的char s的true和false 。

我有什么想我要做的就是像一个List.fold_left ，但我不太清楚如何把它关闭。

这是我试过的轮廓（OCAML语法，但没有可运行的）：

let rec var_perm var_list options = 
    match var_list with
        | [] -> options
        | x :: v' ->
            ((x, true) :: (var_perm_intern v')) :: ((x, false) :: (var_perm_intern v'))
;;

let all_options = var_perm ['a';'b'] [];;

应该返回

[
    [('a',true);('b',true)];
    [('a',true);('b',false)];
    [('a',false);('b',true)];
    [('a',false);('b'false)];
]

编辑：又如：

let all_options = var_perm ['u';'w';'y'] [];;

应该返回（顺序并不重要）

[
    [('u',false);('w',false);('y',false)];
    [('u',false);('w',false);('y',true )];
    [('u',false);('w',true );('y',false)];
    [('u',false);('w',true );('y',true )];
    [('u',true );('w',false);('y',false)];
    [('u',true );('w',false);('y',true )];
    [('u',true );('w',true );('y',false)];
    [('u',true );('w',true );('y',true )];
]

你接近一个正确的解决方案。特别：

你必须删除_intern后缀的递归调用
“选项”参数是无用的（看你怎么做你的递归调用，只传递一个参数v' ），所以你必须找出在返回[]的情况下
的串联“的结果v'再加上true的头部VAR”和“的结果v' ，加上false的头VAR”应写foo @ bar ，而不是foo :: bar ，因为这是两个名单你串联，没有一个元素添加到列表中。