커헠님 책에는 이렇게 써져 있어요

[기괴공학도(mecheng98)]

Introduction to Lambda Calculus 12 페이지

[익명(211.246)]

커헠아 나 왜 씹냐

[기괴공학도(mecheng98)]

Prolog한테 시켜볼까요?

[커헠(msca8h)]

아 YSK 는 노가다로 이벨류에이션 하는건 아닌가보네 난 컴비네이터까지 안 나가서 잘 모르겠다 언제 한번 공부해봐야지 - return 0;

[익명(211.246)]

커헠아 이번에는 씹지 말자

[익명(211.246)]

아니 나 왜 씹냐

[익명(211.246)]

아니 나 왜 씹냐니까

[딩코조무사(circircir6174)]

이거 고정점을 이해하면 아무것도 아님

[딩코조무사(circircir6174)]

GX = GG 인자빼서 G = Lx.GG로 만들고

[기괴공학도(mecheng98)]

딩코 조무사님 도와주세요 ㅠㅠ

[딩코조무사(circircir6174)]

G를 파라미터로 빼고 커링해서 G = (Lgx.gg)G하면 G가 Lgx.gg에 대한 고정점이라 Y(...)가 되는거

[딩코조무사(circircir6174)]

위 문제랑 같이보셈

[기괴공학도(mecheng98)]

GX = GG 인자빼서 G = Lx.GG로 만들고 <- 이게 이해가 안 되네요

[딩코조무사(circircir6174)]

G를 X로 호출한걸 람다추상화로 인자로 x를 받아서 G에 전달하는걸로 바꿈

[딩코조무사(circircir6174)]

const ppap = f(x); const ppapap = (x => f(x))(x)

[기괴공학도(mecheng98)]

그러면 좌변이 (Lx. G x) X로 되는 건 알겠는데 그 다음을 모르겠어요 진짜 죄송해요

[딩코조무사(circircir6174)]

X가 있으면 호출하는거니까 포인트 프리로 상쇄하고 G도 똑같이 빼면 Lg.(Lx.gg)G가 됨

[딩코조무사(circircir6174)]

중첩람다는 커링해서 다변수 람다로 만들면 G = (Lgx.gg)G 이렇게 바뀌고

[딩코조무사(circircir6174)]

그러면 G에 대한 고정점으로 저 람다가 된거니까 정의에 의해서 Y(...)

[딩코조무사(circircir6174)]

좌변을 터는게 아니라 우변을 턴거임 좌변은 포인트프리로 x날리고 G만뒀음