[최종식]

숙제 3에서

문서에 "입출력은 정수만 가능합니다. 출력은 정수를 화면에 뿌리고 'newline'을 출력합니다" 라고 되어있습니다.

반환값은 value 니까 value는 어떻게 어떻게 정의해서 반환을 하더라도

출력값이 BOOL이 될 경우에는 정수를 출력하라는 조건을 만족하질 못하는데 어떻게 출력해야 하는지요.

WRITE 같은곳에 EQUAL(NUM 1,NUM1) 같은걸 넣을 경우에는 예외를 내기엔 좀 아까운 상황인데[..]

ps. value에 단순하게

[최원태]

아깝지만, 언어정의에 충실해야지요.
타입이 맞지 않고 의미가 정의되지 않은 프로그램에 대해서 에러를 내세요.

더 훌륭하고 더 일반적인 언어를 만들고픈 욕심이 드는 것이 당연합니다.
그러나, "의미정의"에서 부터 출발해서 튼튼하게 만들어지지 않은 언어는 위험합니다.
섯불리 확장한 한줄의 Read, Write가 언어의 성격을 뒤집어 놓을 수 있습니다.
후반에 Type System을 배우고 나면 조금이나마 이해할 수 있을겁니다.

언어를 어떻게 정의하는지, 정의는 어떻게 구현하는지 감을 잡는데 집중하세요.
단단한 기반 위에서, 지금 아쉬운 read, write의 실용적인 정의를 내릴 기회가 있을겁니다.