강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2013년9월18일 20:19 주제: |
|
|
signature라는 문법을 OCaml에서 쓰는것은 아니고 OCaml에서는 다음과 같이 module type이라는 문법을 사용합니다.
코드: |
module type ZEXPR =
sig
....
end |
참고로 해당 과제에서 signature(module type)는 구현할 필요가 없습니다.
해당 signature에 맞는 module을 정의하시면 됩니다.
즉,
코드: | module ZEXPR =
struct
...
end |
를 정의하셔야 합니다.
signature의 용도는 다음과같이 하여 module이 제대로 signature의 내용을 구현했는지 OCaml이 확인해줄 수 있습니다.
코드: |
module type ZEXPRsig =
sig
(*숙제 나온 signature내용*)
end
module ZEXPR : ZEXPRsig =
struct
...
end |
만일 module이 충실하게 signature의 내용을 구현하지 못하면 컴파일이 되지 않습니다. |
|