ocaml의 선택적 매개 변수 오류

Question

true 또는 false 벡터를 사용하는 함수를 만들려고합니다. 이 벡터는 이진수를 나타내며, I 함수에서 정수로 변환 할 이 내 코드

let rec int_of_vec x ?(i=1) = match x with 
     [] -> 0 
    | True::t -> (1*i) + int_of_vec t ~(i:(i*2)) 
    | False::t -> 0 + int_of_vec t ~(i:(i*2)) 
;; 

이다하지만 내가 정확히 모르겠어요 선택적 매개 변수 다루는 점점 오류를 계속 I 내가 Ocaml을 처음 접했을 때 잘못하고있다.

Answer 1

일반적으로 헬퍼 기능으로 처리되는 것을 다루기 위해 선택적 매개 변수를 사용하고있다. 좀더 관용적 인 OCaml 스타일의 경우 항상이 i 인 내부 함수를 사용하여 다시 작성하고자 할 수 있습니다.

OCaml의 선택적 매개 변수가 마지막 매개 변수로 잘 작동하지 않습니다. i을 함수의 첫 번째 매개 변수로 지정하면 컴파일러에서 불만이 줄어 듭니다.

OCaml의 부울 상수는 true과 false입니다.

선택적 매개 변수를 제공하는 구문은 ~i: (i * 2)입니다. ~i:은 분리 할 수없는 단일 토큰입니다.

이러한 작은 문제 외에도 좋은 코드입니다. (귀하의 벡터가 최하위 비트부터 먼저 제공된다고 가정하십시오.)