구본헌
가입: 2012년 9월 5일 올린 글: 15
|
올려짐: 2012년9월23일 21:50 주제: 숙제 2-5, 뼈대 코드를 요청드립니다. |
|
|
| 코드: |
module type ZEXPR =
sig
exception Error of string
type id = string
type expr = NUM of int
| PLUS of expr * expr
| MINUS of expr * expr
| MULT of expr * expr
| DIVIDE of expr * expr
| MAX of expr list
| VAR of id
| LET of id * expr * expr
type environment
type value
val emptyEnv: environment
val eval: environment * expr -> value
end
|
이런 형태를 사용하였는데요.
숙제pdf 파일의 예시에서는
NUM 1 과 같은 형태를 사용하고 있지만,
위와 같은 signature를 가지면 ZEXPR.NUM 1 과 같이 사용하여야 할 것 같습니다.
type를 어떻게 선언해야 좋을지,
과제를 채점 하실때 어떤 코드를 사용하실 지 알려주시면 좋겠습니다.
만약 이 문제가 뼈대를 작성하는데 채점 의미를 두지 않는다면
뼈대코드를 알려주시면 좋을 것 같습니다. |
|