[%] scheme lambda 질문...

[ㅇㅅ(211.57)]

(add-1 zero)가 실행될 때 안쪽에 ((n f) x)) = ((zero f) x) 를 수행하면 x가 되는데 (zero f) 에서 lambda (f)가 그냥 벗겨지고 lambda (x) x로 x가 리턴되는건가요?

느낌으로는 알겠는데 정확한 이유를 모르겠네요...

(lambda (f) (lambda (x) x) a) b)  를 하면 그냥 a가 (f)를 벗겨주고 b가 나온다고 생각해주면 되나요?

[기괴공학도(mecheng98)]

네 맞아요