包含在OCaml开头的列表的过滤器

Question

我想创建一个以二进制形式返回下一个数字的函数。 例如 ：

000-> 001-> 010-> 011-> 100-> 101-> 110->111。我的功能是：

let rec next_number = function 
             | [] -> []
             | (a,b)::[] -> if b = 0 then (a,1)::[] else (a,0)::[]
             | l::(a,value1)::(b,value2)::[] -> if (value2 = 0) then l::(a,value1)::(b,1)::[]
                                                else
                                                    begin
                                                         if value1 = 0 then l::(a,1)::(b,0)::[]
                                                         else (next_number l)::(a,0)::(b,0)::[]
                                                    end
             ;;

编译时出现错误：该表达式（l在l ::（（a，value1）：:( b，value2）:: []中）的类型为'a * int，但期望的表达式类型为（'a * int）清单

如何告诉OCaml过滤器是一个列表，然后是一对，然后是一对，然后是一个空列表，而不是3对，然后是空列表。

谢谢你的帮助。

Answer 1

没有与列表前缀匹配的模式。 如果您将值想象为树，则模式总是从某个点开始匹配完整的子树。 列表的前缀没有这种形式。 当您选择完整的子树时，您将获得整个列表。

如果您的算法需要从列表的后面到列表的前面工作，则可能需要在开始之前反转列表。