수다닷컴

이번에 PL과목을 수강하는데 공부하다가 의문점이 있는데 아무도 물어볼사람도 없고.ㅜ
눈팅만하다 질문드립니다.

다름이 아니라 λ-calculus공부하다 궁금한점이 있어서 그러는데요
( λx.x x x) (λx.x x x) 의 계산과 (λx.x x x x) (λx.x x x x)의 계산상 차이가 있나요?

제 얕은 지식으로는, 저런 식이 나오면 어떻게 계산을 해야할지 모르겠더라구요..ㅜ(λx.x x) = x 아닌가요... 함수에 x 값이 들어가는거니까.. 뒤에 x가 또 나오면 어떻게 되는건지..ㅜ

두번째 질문은 pascal에서 다음과 같은 puedo code가 있을때

program Main(....);
var Y: integer;
procedure P(X: integer)
var Y: integer;
procedure Q(X: integer)
begin X := Y + X + 5; write (X, Y) end;
procedure R(X: integer)
begin X := Y + X + 1; write (X, Y) end;
begin X := X + 1; Y = X * 2; Q(Y); write (X, Y); R(Y); write (X, Y) end;
begin
Y := 1; P(Y); write(Y);
end.

call by value의 값은 그냥 그대로 나오는거니까 1이고,
call by reference의 경우에는, Q에서 4+4+5, R에서 13+4+1 해서 18 (이것도 확실하지가 않아요..ㅜ)
그런데 call by name으로 값을 구하라면 이게 좀 애매해서요..

그냥 reference와 같은지, 다르다면 어떻게 다른지 알고 싶네요..ㅜ공부하면 공부할수록 모르는것 투성이입니다... 하나하나 알아가는 재미가 있네요, ㅎ
도움주시면 감사하겠습니다.

신청하기