Ocaml - 迭代遞歸

Question

對於一個賦值，我寫了下面的代碼遞歸。它需要一個矢量數據類型和一個矢量的列表，並計算兩個矢量的接近度。此方法工作正常，但我不知道如何做遞歸版本。

let romulus_iter (x:vector list) (vec:vector) = 
     let vector_close_hash = Hashtbl.create 10 in 
     let prevkey = ref 10000.0 in (* Define previous key to be a large value since we intially want to set closefactor to prev key*) 
     if List.length x = 0 then 
      {a=0.;b=0.} 
     else 
      begin 
      Hashtbl.clear vector_close_hash ; 
      for i = 0 to (List.length x)-1 do 
       let vecinquestion = {a=(List.nth x i).a;b=(List.nth x i).b} in 
       let closefactor = vec_close vecinquestion vec in 
       if(closefactor < !prevkey) then 
        begin 
         prevkey := closefactor; 
         Hashtbl.add vector_close_hash closefactor vecinquestion 
        end 
       done; 
        Hashtbl.find vector_close_hash !prevkey 
      end;; 

任何幫助將非常感激

Answer 1

的

for i = 0 to (List.length x)-1 do 
    f (List.nth x i) 
done 

一般遞歸相當於是這樣的：

let rec loop = function 
    | x::xs -> f x; loop xs 
    | [] ->() 

注意，就像一個for循環，這個功能只返回單位，儘管你可以定義一個類似的遞歸函數來返回一個有意義的值（在fa中這就是大多數人所做的）。您也可以使用List.iter，這意味着只適用於這種情況下，您應用的不純功能不會返回任何有意義的內容到列表中的每個項目：

List.iter f x