이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
신상민
가입: 2011년 4월 8일 올린 글: 12
|
올려짐: 2011년5월1일 21:03 주제: 4-1 질문입니다 |
|
|
하긴 했는데 제가 이해를 제대로 하고 있는건지 모르겠어요.
4-1에서
\x.B
꼴의 함수라면
B 내부에서도 레덱스를 찾아서 reducton해야하는건가요?
수업시간에 조교님께서 함수 body는 app 전까진 무슨 일이 있어도 안 건드린다;는 말씀을 하신 것 같아서 헷갈려요.
예를 들어
\x.(\y. y) 3 같은게
\x.(\y. y) 3으로 남아야 하는 건지 \x.3이 되어야 하는건지/
test5같은 경우
(\z.(\x.x) z)로 남아야 하는지 (\z.z)가 되어야 하는지
궁금합니다.
신상민 가 2011년5월1일 23:03에 수정함, 총 1 번 수정됨 |
|
위로 |
|
|
신상민
가입: 2011년 4월 8일 올린 글: 12
|
올려짐: 2011년5월1일 23:02 주제: 그리고 |
|
|
그리고 마찬가지로 4-1에 대한 질문입니다.
test9는 y가 나와야 하죠? |
|
위로 |
|
|
신상민
가입: 2011년 4월 8일 올린 글: 12
|
올려짐: 2011년5월2일 0:20 주제: - |
|
|
세번째 질문입니당
4-2에서 음수는 안 다루죠?
음수를 받거나 sub결과가 음수거나 하는 경우 어떻게 해야 하는지 궁금합니당. |
|
위로 |
|
|
이원찬
가입: 2010년 3월 4일 올린 글: 34
|
올려짐: 2011년5월2일 3:12 주제: |
|
|
1. normal order reduction의 정의에 따르면 B 안의 레덱스도 찾아 reduce 합니다.
말 그대로 normal form, redex가 없는 form을 만다는 계산 규칙입니다.
함수가 호출될 때 몸통을 실행하는 계산 방식은 eager evaluation입니다.
정답을 말씀드릴 수는 없기 때문에 실행 결과가 뭐가 되는지는 함구하겠습니다.
2. 마찬가지로 잘 생각해보시기 바랍니다.
3. 음수는 다루지 않습니다.
우리가 숙제에서 사용하는 church numeral은 음수를 표현할 수 없기 떄문입니다.
계산 결과가 음수인 경우는 구현시 고려하지 않으셔도 됩니다. |
|
위로 |
|
|
|