| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
김진산
가입: 2006년 9월 13일 올린 글: 45
|
올려짐: 2007년10월6일 2:26 주제: [참고 - 마지막 댓글 꼭 읽으세요] '교재 p.80의 Less 정의'에 대한 질문. |
|
|
| 인용: |
6,M ㅏ E1 -> n1,M1 6,M ㅏ E2 -> n2,M2
|
로 되어 있는데요,
| 인용: |
6,M ㅏ E1 -> n1,M1 6,M1 ㅏ E2 -> n2,M2
|
으로 바꾸어야 좋지 않을까 생각합니다.
선택의 문제라고 생각할 수 있지만, 아래의 코드와 같은 문제가 발생합니다.
| 코드: |
let
x := 1;
y := 2
in
if (y := 1) < (x := 2) then write 1
else write 0;
write x;
write y
|
Less 의 오른쪽 exp만 결과 메모리 값에 관여할 수 있기 때문에
x = 2, y = 2 가 됩니다.
---
정의대로 진행할까요? 아님 수정할까요?
김진산 가 2007년10월9일 3:47에 수정함, 총 2 번 수정됨 |
|
| 위로 |
|
 |
정영범
가입: 2005년 9월 5일 올린 글: 167
|
올려짐: 2007년10월6일 12:17 주제: |
|
|
| 인용: | Less 의 오른쪽 exp만 결과 메모리 값에 관여할 수 있기 때문에
x = 2, y = 2 가 됩니다. |
모든 구현은 교재에 나와있는 정의대로 해주세요.
결과로
1
2
2
가 찍히겠죠. |
|
| 위로 |
|
 |
김진산
가입: 2006년 9월 13일 올린 글: 45
|
올려짐: 2007년10월6일 12:31 주제: |
|
|
교재에 정의가 안나와 있는 것도 있습니다.
예를 들면 SUB, MUL, DIV, EQUAL 등이 그렇습니다.
같은 부류의 operator를 묶어서 고려하면 되겠죠?
구체적으로 SUB, MUL, DIV은 ADD와 같은 형태(integer arithmetic)로 생각하고,
EQUAL은 LESS와 같은 형태(comparisons)로 생각하면 되겠죠? |
|
| 위로 |
|
 |
정영범
가입: 2005년 9월 5일 올린 글: 167
|
올려짐: 2007년10월7일 18:19 주제: |
|
|
| 네, 그렇게 하면 됩니다. |
|
| 위로 |
|
 |
김진산
가입: 2006년 9월 13일 올린 글: 45
|
올려짐: 2007년10월9일 3:46 주제: 참고. |
|
|
오늘 수업 시간에 교수님께서 LESS문이 잘못 되었다고 말씀해 주셨습니다.
모든 메모리의 변화는 Accumulate 되어야 한다고 하셨습니다.
다른 수강생님들도 참고하세요! |
|
| 위로 |
|
 |
|