SML에서 재귀 함수의 변수 값을 유지할 수있는 방법이 있습니까?

Question

fun temp(x) = 
let val a = x 
in if a mod (x-1) = 0 then x 
    else temp(x-1) 
end; 

이것은 표준 ML 코드의 예입니다.

제가 알고 싶은 것은 예를 들어 user call temp (10)입니다. a = 10이고 temp (x-1)가 호출됩니다.

변수 'a'는 9로 변경됩니다. 표준 ML에서는 10으로 유지할 수 있습니까?

Answer 1

함수에 val a = x이 포함 된 경우 temp(x)을 호출 할 때 a의 값은 x의 값과 같습니다. 당신이 재귀 때 이전 호출에서 a의 값을 기억하고 싶은 경우에, 당신은이 같은 매개 변수로 주위에 전달해야

fun temp_helper x a = 
    if a mod (x-1) = 0 then x 
    else temp_helper (x-1) 

fun temp x = temp_helper x x 

당신은 또한 도우미 함수 내부 함수를 만들 수 있습니다. 그렇게하면 a을 매개 변수로 삭제하고 대신 a을 다음과 같이 닫을 수 있습니다.