ocaml中的模式匹配问题

Question

我编写了用于分解布尔函数的函数，问题是我得到的编译是：“警告5：此函数应用程序是部分的，也许缺少一些参数。” 我该如何解决这个问题？我设置了错误的模式匹配，或者无法使用模式匹配运行此操作

代码如下：

         let rec decomposition state_init state prec formula =        
            match formula with        
            And form -> (fun () -> 
                    let f1 = List.hd form in
                    let f2 = And(List.tl form )in                      

                    let new_state = Forms (state_init,f1) in

                    decomposition state_init new_state state f1;            

                    decomposition state_init new_state state f2;

                    Hashtbl.add graph new_state (("",false,state :: []) , []) ;

                    let x = Hashtbl.find graph state in
                    let succ = state :: snd x in
                    let (desc,last,ptrs) = fst x in

                    Hashtbl.replace graph state ( ("And-node",last,ptrs) , succ))   

Answer 1

分解 state_init new_state state f1 的类型为 unit -> unit （因为您返回的是 fun () -> ...）。所以如果你只是这样调用它，它不会做任何事情。

您要么必须将其称为“decomposition state_init new_state state f1 ()”，要么删除“fun () ->”位，因此单位参数不是必需的。