대체 모델이 클로저에서 작동합니까? 아니면 환경 모델이 필요합니까?

Question

예 : 우리의 JavaScript 코드는

let a = x => { 
    let y = x * 2 
    return z => x + y + z 
} 
let b = a(1) 
let c = b(2) 

대체 모델을 사용하여 이것을 평가할 수 있습니까?

let c = ((x => { 
    let y = x * 2 
    return z => x + y + z 
})(1))(2) 

을하지만 (2 호출) 외부 표현식을 평가하기 전에 다음 나는 (1 호출) 내부 표현식을 평가해야합니다 :

나는과 같이 시작했다. 그러나 대체를 위해 항상 외부에 있습니다.

대체 모델이 부적절하다는 표시입니까? 또는 내부에서뿐만 아니라 외부에서 평가하는 것이 더 정열적입니까? 아니면 그것을 볼 수있는 다른 방법이 있습니까?

Answer 1

대체 모델은 폐쇄에 사용됩니다. 기본적으로 바인딩을 바인딩 된 값으로 바꿉니다. 환경 모델이 필요하지 않습니다.

const b = a(1)     // == 
const b = z => 1 + (1 * 2) + z 

const c = b(2)    // == 
const c = 1 + (1 * 2) + 2 // == 
const c = 5    

당신이 정말로 당신이 환경 모델을 필요로하는 곳에 (경우에 당신이 실제로 바인딩) let를 사용해야 할 경우에만입니다.

평가 순서에 관해서는 a(1)(2)과 같은 두 번의 호출에서 의 결과로 호출되기 때문에 먼저 2이라는 인수로 두 번째 호출을 수행 할 수 없음이 분명합니다. 따라서 a(1)의 결과를 알아야하므로 먼저 그 값을 대체해야하며 그 결과에 대해 다음 호출을 수행해야합니다.

let c = (x => { 
    let y = x * 2 
    return z => x + y + z 
})(1)(2) 
// substituting 1 for x ==> 
let c = (z => 1 + 2 + z)(2) 
// substituting 2 for z ==> 
let c = 1 + 2 + 2