강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2014년9월20일 16:01 주제: 2-6 계산실행 답변입니다 |
|
|
인용: | 학생들은 이 두가지 타입에 대한 정의를 module안에 해야 하나요? 만일 그렇다면 어떻게 하여야 한다는 조건이 존재하나요? |
module type ZEXPR에 environment와 value에 타입이 선언만 되어 있고 정의되지 않은 것은, 해당 타입의 module을 정의할 때 environment와 value가 정의되어 있어야 하되, 어떻게 정의할지 그 방식은 자유라는 의미입니다. 앞으로도 숙제 문서나 스펙 수정글에 module type이 주어졌을 경우 같은 방식으로 생각하시면 될 것 같습니다.
인용: | 저희가 구현하여야 할 것은 emptyEnv, eval, int_of_value 이 3가지가 맞나요? |
네, environment와 value 타입을 정의하시고, emptyEnv, eval, int_of_value 세 함수를 작성하면 됩니다.
감사합니다 :) |
|