 |
|
| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
최재승
가입: 2012년 9월 10일
올린 글: 211
|
 올려짐: 2015년11월25일 16:30 주제: 숙제 7 공지 및 스펙 보충 (11/27 업데이트, 꼭 확인하시기 바랍니다) |
 |
|
안녕하세요, 프로그래밍 언어 조교입니다.
숙제 7이 올라왔음을 알려드립니다.
내용 : http://ropas.snu.ac.kr/~kwang/4190.310/15/hw7.pdf
제출 : http://ropas.snu.ac.kr/~ta/4190.310/15/submit/index.pl
기한 : 12/01 (화) 밤 12시 --> 12/03 (목) 밤 12시로 연기되었습니다.
* 과제 관련 주의 사항
과제를 하고 제출하기에 앞서 꼭 https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4922 글의 주의사항을 확인해 주세요.
* 숙제 스펙 보충사항
(질문은 이 글에 답글로 달지 마시고, 별도의 글로 질문해 주시기 바랍니다)
------------
Exercise 1 "점프마저 설탕"
- 뼈대코드 : http://ropas.snu.ac.kr/~ta/4190.310/15/document/Exn_skel.zip
- 뼈대코드에는 xexp의 언어정의, 파서 및 실행기가 제공됩니다. 뼈대코드 디렉토리에서 make 명령을 실행하시면 숙제 전체가 컴파일되고, 'run' 이라는 실행파일이 생성됩니다.
run 파일을 다음과 같이 실행하시면 입력으로 받은 xexp 프로그램을 여러분이 작성한 removeExn 함수를 사용해서 변환한 다음 실행합니다.
변환된 프로그램에 raise/handle 설탕 문법구조가 남아있다면 에러 메시지도 같이 출력해 줍니다.
| 코드: | $ make
$ ./run examples/test1.xexp |
- 그 외에, -pdesug 옵션을 주어, 변환된(desugared) 프로그램을 출력해 볼 수도 있습니다. 자세한 것은 README 파일을 참고하시기 바랍니다.
- 뼈대코드 중 desuagr.ml 의 removeExn 함수를 구현한 다음, desugar.ml 파일을 제출합니다. 꼭 주의해 주세요, 엉뚱한 ml 파일을 잘못 제출하시면 조교팀이 해결해 드릴 방법이 없습니다.
- Equal(e1, e2) 과 App (e1, e2) 에서 계산 순서는 e1이 먼저인 것으로 정합니다. 따라서 e1에서 예외가 발생하면 e2는 예외가 발생하든 에러(타입 에러, unbound 변수 등)가 발생하든 무시되어야 합니다.
Handle(e1, n, e2)의 계산 순서는 hw7.pdf 문서에 자세히 나와있습니다.
- 프로그램을 실행해 보고 그 결과를 관찰하여 번역하는 것은 허용하지 않습니다. 관련글 https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=5178 의 답변을 참고하시기 바랍니다.
(11/27 추가)
- 교수님의 지시로, 처리되지 않은 예외 (unhandled exception)이 발생하는 프로그램도 입력으로 들어올 수 있는 것으로 스펙이 변경되었습니다.
이러한 프로그램을 removeExn으로 변환한 프로그램은, 201511 이라는 magic number를 계산하는 프로그램이 되는 것으로 정합니다.
(즉, 처리되지 않은 예외가 발생하는 프로그램 e에 대해서 eval(removeExn(e)) = 201511 이 되어야 합니다.)
- 뼈대코드가 업데이트되었습니다.
+ 예외가 발생하는 프로그램도 제대로 테스트할 수 있도록 업데이트하였습니다.
+ 파서가 let x = E1 in E2 표현을 지원합니다. 이 표현은,
으로 자동으로 변환되므로, 언어 정의는 변하지 않으며 여러분이 작성한 removeExn에도 영향이 없습니다. 예제 코드를 쉽게 작성할 수 있도록 지원해 드리는 syntactic sugar입니다.
+ new_examples 디렉토리에 보강된 예제 코드가 제공됩니다. 전반적으로 프로그램들이 더 복잡한 구조를 갖도록 보완되었습니다.
실행기나 예제에 이상한 점이 있으면 알려주시기 바랍니다.
조교 드림 |
|
| 위로 |
|
 |
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
