| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
허기홍
가입: 2007년 9월 27일
올린 글: 231
|
 올려짐: 2007년10월7일 18:21 주제: SEQ에 대한 질문 |
 |
|
우리 교제에 보면 " ; " 는 메모리만 변화시킬뿐 환경을 변화시키지는 않습니다.
그런데 좀 이상한 것이
| 코드: |
let x:= 0; y := x in
.....
|
이렇게 변수두개 선언은 정상동작하는데
| 코드: |
let x:= 1 ; proc f(x) = 1
|
; 뒤에 함수가 끼면 그 앞을 알지 못하네요..
책을 다시봐도 이해가 잘 안되는데 제가 구현을 잘못한것인지... 가르침 부탁합니다. |
|
| 위로 |
|
 |
정영범
가입: 2005년 9월 5일
올린 글: 167
|
| 올려짐: 2007년10월7일 18:33 주제: |
|
|
| 코드: | let x:= 1 ; proc f(x) = 1 in e
|
는 syntatic sugar로 제공한 것이고 사실은
| 코드: | let x:= 1 in
let proc f(x) = 1 in e
|
와 같은 것입니다. 따라서 SEQ는 등장하지 않습니다.
-pp로 확인하시기 바랍니다. |
|
| 위로 |
|
|
허기홍
가입: 2007년 9월 27일
올린 글: 231
|
| 올려짐: 2007년10월7일 18:34 주제: |
|
|
아... 다행이네요.
test 코드에 저런게 있어서 의아해 했었는데
감사합니다. |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
