0
에타 람다 미적분학의 추상화는 다음을 의미합니다.람다 미적분의 에타 추상화
A function `f` can be written as `\x -> f x`
람다 표현을 줄이는 동안 어떤 용도의 추상화가 있습니까? 특정 표현을 쓰는 다른 방법일까요?
A
답변
0
ETA를 축소/확대는 X
f x = g x
그 반대에 대한
f = g
이 있어야합니다
주어 말한다 법의 단지 결과, 즉.는 따라서 주어진 :
f x = (\y -> f y) x
우리가 얻을, 베타가 참이어야 오른쪽
f x = f x
을 감소시킨다. 따라서 우리는 당신의 평가 전략에 따라
f = \y -> f y
을 체결 할 수 ETA 변환은 ETA 추상화의 일부 사용 사례가 몇 가지 링크 나 예를 날 지점 수, 평가 – naomik
감사를 지연하는 유용한 방법이 될 수 있습니다. – user634615
엄격한 평가를 받고, 유명한 Y 결합자를 구현하기 위해 η 추상화를 사용할 수 있습니다. 'Y : = U (λh. λf. f (λx .h h f x))'여기서'U : = λf. f f' - 여기서'x' eta 추상화가 없으면 엄격한 평가자는 무한 루프로 들어갑니다. – naomik