recursion - 尾递归在OCaml中的应用

Question

我在 Ocaml 中编写了这个函数，但我想先应用尾递归再写相同的东西 fold_left .

let rec check fore list = 
    match list with 
    | [] -> [] | h :: t -> 
        if fore h 
        then h :: check fore t 
        else check fore t ;;

这是我到目前为止所做的。它返回一个大于给定参数的列表(即最初给出列表时)。示例: check (fun a -> a >= 6 )[5;4;8;9;3;9;0;2;3;4;5;6;61;2;3;4]返回 # - : int list = [8; 9; 9; 6; 61]
任何帮助，将不胜感激。

Answer 1

为什么不用List.filter ?

List.filter (fun a -> a >= 6) [5;4;8;9;3;9;0;2;3;4;5;6;61;2;3;4]