2번 숙제, 2번 문제에 대한 질문입니다.

김진현

1) 혹시 파서 같은 것들은 제공되지 않나요?

K- 로 쓰여진 프로그램을 직접 돌려볼 수 있도록 도와줄.

2) 돌렷 은 `메모리 * 환경 * 프로그램 -> 값' 의 타입을 갖는 함수입니다.

우리가 다룰 언어 K- 는 Statement 와 Expression 을 구별하지 않습니다.

즉, 프로그램을 돌려보면 값이 얻어질 수도 있고,

변화된 메모리를 얻을 수도 있습니다.

혹시 돌렷은 `메모리 * 환경 * 프로그램 -> 값 * 환경' 은 아닌가요?

아니면 돌렷2 가 `메모리 * 환경 * 프로그램 -> 값 * 환경' 이고,

돌렷은 이 결과를 받아 `값' 만을 리턴하는 함수로 구현하는 것인가요?

3) 값은 정수이거나 부울이거나 () 입니다.

값이 타입은 정의되어 있지 않고 직접 정의하도록 되어 있습니다.

물론 `type 값 = int | bool | unit' 과 같은 타입은 불가능한데,

이를 해결하기 위한 방법이 매우 많습니다.

exp 를 흉내낸 `NUM of int | TRUE | FALSE | UNIT' 이나,

`INT of int | BOOL of bool | UNIT of unit' 등등등.

이 경우 혹시 채점의 불편함-_- 때문에 값 에 대한 정의가 있지 않을까 싶은데,

혹시 이 부분에 대해서는 정해진 바가 없나요?

물론 주어진 스펙대로 숙제를 해도 전혀 지장은 없겠지만,

이러한 부분들이 있다면 조금 더 자연스럽지[?] 않을까 하여 질문드려 봅니다.
_________________
The kingdom of heaven has been forcefully advancing, and forceful men lay hold of it.

김덕환 · 가입: 2005년 8월 29일 올린 글: 190

김진현

답변 감사드립니다

예, 돌렷2 는 `값 * 메모리' 를 리턴해야 하는데 그만 실수했네요 :$

환경, 혹은 메모리에 대한 사족.

환경과 메모리를, 수업시간에 배웠듯 함수로 하였을 때,

빈 환경과 빈 메모리를 어떻게 해야 할 지 헷갈렸는데,

아무 것도 하지 않는 함수로 만들면 되겠더군요-_-;

(물론 예외 발생 처리가 필요하겠지만요)
_________________
The kingdom of heaven has been forcefully advancing, and forceful men lay hold of it.