| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
최지헌
가입: 2012년 9월 6일
올린 글: 35
|
 올려짐: 2013년10월20일 12:29 주제: 4-2번 테스트케이스 7번 질문입니다 |
 |
|
test7.k--에 보면
x에 대한 정의 없이 read x를 호출했는데요
k-- semantics에서 보면 read x는 environment에 x가 없으면 정의되지 않는 상황 같습니다..
저번 숙제에서도 그렇게 이해해서 구현했는데, 제가 잘못 이해하고 있는 건가요? |
|
| 위로 |
|
 |
최준원
가입: 2007년 3월 30일
올린 글: 149
|
| 올려짐: 2013년10월20일 13:37 주제: |
|
|
현재 K-- 파서는 let ... in ... 에 대한 sugar form 을 아래와 같이 지원합니다.
| 코드: | | let x := 0; y := 1 in (write (x + y)) |
예상 하셨겠지만, 위 코드는 아래 코드와 동일합니다.
| 코드: | let x := 0 in
let y := 1 in
(write (x + y)) |
말씀하신 test7.k-- 또한 같은 맥락으로 이해하시면 되겠습니다  |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
