게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

숙제 2-5, 뼈대 코드를 요청드립니다.

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2012)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
구본헌



가입: 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를 어떻게 선언해야 좋을지,
과제를 채점 하실때 어떤 코드를 사용하실 지 알려주시면 좋겠습니다.

만약 이 문제가 뼈대를 작성하는데 채점 의미를 두지 않는다면
뼈대코드를 알려주시면 좋을 것 같습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이영석



가입: 2011년 9월 5일
올린 글: 103

올리기올려짐: 2012년9월24일 9:12    주제: 답변 인용과 함께 답변

module Zexpr : ZEXPR =
struct

..


end


모듈 안의 내용은 ZEXPR 안의 타입에 맞게 알아서 작성하시면 됩니다.
함수를 사용하실때에는
Zexpr.eval Zexpr.emptyEnv (Zexpr.Num 1) 와 같은 형식으로 사용 합니다.

value 나 environment 같은 타입은 구현하기 편하신대로 구현하시면 됩니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2012) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay