let in (ocaml에서)을 사용하여 재귀 함수를 작성하는 방법

Question

이 로컬 함수가 있습니다. 나는 let ... in으로 작성해야하는데, 다른 경우에는 구문 오류가 발생하기 때문입니다. before뿐 아니라 after도 어떻게 처리 할 수 ​​있습니까? 그냥 전에이 같다고 가정 해 봅시다 :

after = "b/drivers/usb/gadget/..../file"` 

내 녹화 기능은 다음과 같습니다 :

before = "a/drivers/usb/gadget/.../file" 

및 after은 다음과 같습니다

이

let rec f (before: string list) : string list = 
      begin match Str.split (Str.regexp "/") before with 
         | _ ::rest -> out (String.concat "/" rest) 
         | _ ->() 
       end 

Answer 1

귀하의 질문에 하드 매우이다 이해하지만, 맞다면 : 함수의 본질은 여러 매개 변수를 사용하여 원하는만큼 여러 번 호출 할 수 있다는 것입니다. 여기

let sqdist (x0, y0) (x1, y1) = 
    let sq a = a * a in 
    sq (x1 - x0) + sq (y1 - y0) 

나는 로컬 함수로 sq을 정의한 나는 x1 - x0과 y1 - y0 모두를 호출하고 있습니다.

는

업데이트 : 함수는리스트의 모든 요소를 ​​처리하도록되어 같은

지금은 나에게 소리. 실제 생활에서는 List.map을 사용합니다. 재귀를 사용하여 매핑하는 방법은 다음과 같습니다.

let squareEveryInt (list: int list) : int list = 
    let rec go l = 
     match l with 
     | [] -> [] 
     | n :: rest -> n * n :: go rest 
    in 
    go list 

예제 코드와 중요한 차이점이 많이 있습니다. 필자가 누락 된 주된 기능은 함수에 대한 재귀 호출입니다.