숙제 6번의 1번에 대한 질문입니다.

favorite · 가입: 2009년 11월 15일 올린 글: 4

적용식 (L L`)의 의미가 무엇인지
정확히 모르겠어요.

L에 L`를 적용한다는 말인가요?
아니면 L을 L`에 적용한다는 말인가요?

단적으로
App (Var "x", Var "y")라는 식은 무슨 의미인가요?

제가 람다 익스프레션에 대해서 정확히 이해하지 못한것 같아서
설명을 좀 부탁드리고 싶어요.
_________________
컴퓨터 공학부
노희명
"바람의 노래를 들어라"

최종욱 · 가입: 2009년 9월 15일 올린 글: 84

scheme 코딩 하셨던걸 기억해보면 쉽게 아실 수 있을 듯 합니다.

(car x)

L : car
L' : x
_________________
Jongwook Choi
Seoul National University, School of Computer Science & Engineering

장수원 · 가입: 2008년 9월 26일 올린 글: 167

윤용호 · 가입: 2008년 9월 23일 올린 글: 257

lambda가 ocaml의 fun 과 비슷한 느낌입니다.(사실 거의 같은 의미죠)

(fun x -> x) (fun y->y)

<=> (/x.x) (/y.y)

헷갈리시면 lam을 fun으로 바꾸어 생각해보세요.
_________________
TA

임창원 · 가입: 2009년 9월 14일 올린 글: 21

그러면 ( x L ) 이면

L로 reduce 되는게 맞나요??

아직도 잘 모르겠네요 -_-

윤용호 · 가입: 2008년 9월 23일 올린 글: 257

(x L) 라... 어떤 표현인지 잘 모르겠네요.

reduce는 오로지 (ㅅx.e1) e2 와 같은 꼴에서만 일어나며,

이 때 reduce 결과는 e1 안에 있는 모든 x를 e2로 치환한 것입니다.

예를 들어 (ㅅx.(x x)) e 를 reduce 하면 (e e) 가 되고

(ㅅx.y) z 를 reduce y가 되고

(ㅅx.a x) (ㅅy.y) 를 reduce 하면 a (ㅅy.y) 가 됩니다.
_________________
TA