[f#] Ocaml / F #의 함수가 기본적으로 재귀 적이 아닌 이유는 무엇입니까?

원래 ML의 프랑스와 영국 후손은 다른 선택을했으며 그들의 선택은 수십 년 동안 현대적인 변형으로 이어졌습니다. 그래서 이것은 단지 유산이지만 이러한 언어의 관용구에 영향을 미칩니다.

프랑스어 CAML 계열 언어 (OCML 포함)에서는 함수가 기본적으로 재귀 적이 지 않습니다. 이 선택을 통해 let새 정의의 본문 내에서 이전 정의를 참조 할 수 있으므로 해당 언어에서 사용하는 함수 (및 변수) 정의를 쉽게 대체 할 수 있습니다. F #은 OCaml에서이 구문을 상속했습니다.

예를 들어, pOCaml에서 시퀀스의 Shannon 엔트로피를 계산할 때 함수를 대체합니다 .

let shannon fold p =
  let p x = p x *. log(p x) /. log 2.0 in
  let p t x = t +. p x in
  -. fold p 0.0

p고차 shannon함수에 대한 인수 가 p본문의 첫 번째 줄에서 다른 인수 로 대체되고 본문 p의 두 번째 줄에서 다른 인수 가 어떻게 대체 되는지 확인하십시오 .

반대로, ML 계열 언어의 영국 SML 분기는 다른 선택을했으며 SML의 fun바인딩 된 함수는 기본적으로 재귀 적입니다. 대부분의 함수 정의에서 함수 이름의 이전 바인딩에 액세스 할 필요가없는 경우 코드가 더 간단 해집니다. 그러나, 대체 된 기능은 (다른 이름을 사용하여 만들어진 f1, f2범위 및 오염을 가능하게하는 등)에 실수 함수 잘못된 “버전”호출한다. 그리고 이제 암시 적으로 재귀 적 fun바운드 함수와 비재 귀적 바운드 함수 사이에 불일치가 val있습니다.

Haskell은 정의를 순수로 제한하여 정의 간의 종속성을 추론 할 수 있습니다. 이것은 장난감 샘플을 더 단순하게 보이게하지만 다른 곳에서는 엄청난 비용이 듭니다.

Ganesh와 Eddie가 제공 한 답변은 붉은 청어입니다. 그들은 let rec ... and ...유형 변수가 일반화 될 때 영향을주기 때문에 함수 그룹을 거인 안에 배치 할 수없는 이유를 설명 했습니다. 이것은 recSML의 기본값 과 관련 이 없지만 OCaml은 아닙니다.

답변

let f x = ... and g y = ...;;

let f a = f (g a)

let rec f a = f (g a)