| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
정민재
손님
|
 올려짐: 2005년10월23일 17:58 주제: Staged K- 언어 정의에서요.. |
 |
|
lift(E) 를 정의하는 부분에서요..
E 가 정수, bool 의 값이 아닌 exp 인 경우
그냥 lift(E) ↓↓ '(E) 가 되는게 아닌가요?
윗부분에서 E가 value가 아닌 E1(exp)을 계산해내는 것도 어색하고
어차피 '(E) 는 QUOTE 의 해석에서 다루어질테니
굳이 E 를 E1 으로 계산해야 할 이유도 없는 것 같아서요.
중간과정없이 lift(E) ↓↓ '(E) 이렇게 해석하면 안되는 것인가요? |
|
| 위로 |
|
 |
김덕환
가입: 2005년 8월 29일
올린 글: 190
|
| 올려짐: 2005년10월23일 20:20 주제: Re: Staged K- 언어 정의에서요.. |
|
|
| 정민재 씀: |
lift(E) 를 정의하는 부분에서요..
E 가 정수, bool 의 값이 아닌 exp 인 경우
그냥 lift(E) ↓↓ '(E) 가 되는게 아닌가요?
|
아닙니다. E 계산을 해보지 않으면 정수 값이 나올 지, 불린 값이 나올 지, 코드 값이 나올 지 어떻게 알 수 있을까요? 그리고, E 안에 ,(comma) 연산이 포함되어 있는 경우에는 E와 E1이 다른 코드일 수 있습니다.
| 정민재 씀: |
윗부분에서 E가 value가 아닌 E1(exp)을 계산해내는 것도 어색하고
|
이제 코드도 값입니다. 그것이 staged computation의 핵심입니다.
_________________
TheyAreAsSmartAsYouAre |
|
| 위로 |
|
|
정민재
손님
|
| 올려짐: 2005년10월23일 22:10 주제: |
|
|
그럼 lift(E) ↓↓ '(E1) 의 윗부분 ㅏ 에 1이 붙어야 하는 것은 아닌가요?
만약 그렇다면 lift(E) 와 '(E)가 동일한 것 같은데, 그렇지 않다면
lift(E) 와 '(E) 의 차이점을 알고싶습니다. |
|
| 위로 |
|
|
김덕환
가입: 2005년 8월 29일
올린 글: 190
|
| 올려짐: 2005년10월23일 23:36 주제: |
|
|
| 정민재 씀: |
그럼 lift(E) ↓↓ '(E1) 의 윗부분 ㅏ 에 1이 붙어야 하는 것은 아닌가요?
|
아닙니다.
| 정민재 씀: |
만약 그렇다면 lift(E) 와 '(E)가 동일한 것 같은데, 그렇지 않다면
lift(E) 와 '(E) 의 차이점을 알고싶습니다.
|
동일하지 않습니다. 간단한 산술식에 대해 두 경우의 결과값이 각각 어떻게 되는지 정의를 따라가보면 그 차이점을 파악하실 수 있을 겁니다.
@ '가 아니라 `입니다.
_________________
TheyAreAsSmartAsYouAre |
|
| 위로 |
|
|
이승윤
손님
|
| 올려짐: 2005년10월24일 1:48 주제: 1의 의미가 무엇인가요? |
|
|
계속 혼동이 되고 있습니다.
ㅏ 기호위의 1이 있는것과 없는것의 차이가 무엇인가요? |
|
| 위로 |
|
|
김덕환
가입: 2005년 8월 29일
올린 글: 190
|
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
