의 Caml/OCaml의 패턴 : 다중 인수 함수

Question

I는 int x과리스트를 얻어이 재귀 함수를 만들려고하고리스트에서 요소의 제 x 양 제거있어 일치 :

let rec nthcdr int_t list_t = 
    match int_t with 
    | 0 -> list_t 
    | _ -> (match list_t with 
      | [] -> [] 
      | h::tail -> nthcdr (int_t -1) tail) 
    ;; 

을하지만을 작동하지 않는다. h::tail은 절대 일치하지 않는 것처럼 보입니다. 항상 반환됩니다. []

Answer 1

답변으로 코드를 개선하고 싶습니다. (OP가 이미 해결책을 찾았 기 때문에).

int_t과 일치하는 패턴이 중복됩니다. 물론 그렇게 할 수는 있지만 패턴 일치의 이점은 레코드 나 변형 또는 목록 같은 컬렉션과 같은 대수 데이터 유형과 함께 사용될 때 분명 해집니다. 또한 정수에 if..else을 사용하면 코드 정리가 쉬우므로 유도 사례와 기본 사례를 구분할 수 있습니다.

let rec drop n li = 
    if n = 0 then li else 
    match li with 
    | [] -> [] 
    | h::t -> drop (n-1) t