OCaml 복잡한 이름 재사용 v 재귀 함수. 혼동

Question

몇 가지 예를 읽고이 코드와 Google이 나를 실망 시켰습니다.

let id = fun x -> x in fun x -> if x> 0 then id [] else (id x) :: [];; 
- : int -> int list = <fun> 

는 일반적으로 함수로 증언의 Caml이 우리에게로이된다.

그러나 "let rec"대신 "let"이 있고 함수 이름 id는 여러 번 함수 본문에 나타납니다.

언뜻보기에는 비현실적입니다.

그래서

1. is this actually a recursive function? 

2. Or they just happen to be different types reusing the same name confusingly. 

당신이 명확한 추론 콘크리트 기초에 서있는 당신의 통찰력있는 아이디어를 보여줄 수 생각?

Answer 1

코드에는 두 가지 기능이 있습니다. 첫 번째는 fun x -> x입니다. 이 함수는 재귀가 아닙니다 (자체를 포함하여 다른 함수를 호출하지 않고 x을 변경하지 않고 반환 함) id의 이름은 let입니다.

다른 기능은 fun x -> if x > 0 then id [] else (id x) :: []입니다. 이 함수에는 이름이 없습니다. 또한 호출하는 유일한 함수가 id이고 id이기 때문에 재귀 적으로 호출되지 않습니다.

id은이 코드에서 재사용하지 않습니다. 이 함수는 fun x -> x 함수를 나타낼 때만 사용됩니다. 재사용되는 유일한 이름은 x입니다. id의 정의에서 이는 id의 인수를 나타내는 데 사용되며 다른 함수의 정의에서 해당 함수의 인수를 나타 내기 위해 사용됩니다.