강동옥
가입: 2009년 9월 18일
올린 글: 602
|
 올려짐: 2014년9월30일 15:58 주제: |
 |
|
| 인용: | | 1. environment와 value의 type을 마음데로 설정하셔도 된다고 하셨는데 그렇다면 value의 type을 int로 선언해도 괜찮을까요? |
네, Zexpr 모듈은 정수 값들을 가지고 정수식 연산을 하는 기능을 구현해야 하므로, type value는 정수를 나타낼 수 있는 어떤 값이든 되면 됩니다. 물론 그 중 가장 간단한 것은 ocaml에서 기본적으로 제공하는 int 타입일 것입니다.
| 인용: | | 2. int_of_value 함수는 value를 int로 보내주기만 하면 되는 건가요? |
네, type value는 자유롭게 선택하고 그에 맞추어 함수를 작성하시면 되고, int_of_value는 그 타입의 값을 int 타입 값으로 보내 주시면 됩니다.
int_of_value 작성을 요구하는 것은, 이렇게 int라는 특정한 타입으로 변환해 주는 함수가 있어야 저희 조교진이 채점 가능하기 때문입니다.
| 인용: | 3. 모듈을 구현할때 signature에 정의되지 않은 다른 함수들도 정의해서 구현해도 되나요?
|
네, 이는 상관없습니다. signature에 정의되어 있는 함수들은 빠뜨림 없이 (타입을 맞춰) 구현하셔야 하고, 그 외의 추가적인 함수를 자유롭게 정의/구현하는 것에는 제약이 없습니다. |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
