[강동옥]

안녕하세요,

숙제 7이 올라왔음을 알려드립니다.
(내용 : http://ropas.snu.ac.kr/~kwang/4190.310/14/hw7.pdf)
(제출 : http://ropas.snu.ac.kr/~ta/4190.310/14/submit/index.pl)

숙제 7 제출기한 : 12/09 (화) 밤 12시

각 과제마다 어느 파일을 제출해야 하는지 꼭 확인해 주시기 바랍니다. 잘못된 파일을 제출했을 경우 조교팀에서도 어떻게 해드릴 방법이 없으니 주의해 주세요. 계속 안타까운 실수가 발생하여, 이번에는 제출할 파일이름을 hw7_1.ml, hw7_2.ml 로 정했습니다.

<7-1 Simple Type 및 7-2 Polymorphic Type 뼈대코드>

(링크 지움)

- README.euckr과 README.utf8 파일 중 본인 인코딩에 맞는 것을 참조하시면 되겠습니다.

- 과제 7-1은 hw7_1.ml 파일을, 과제 7-2는 hw7_2.ml 파일을 제출하시기 바랍니다.

- 타입 시스템을 구현할 대상 언어는, 지난 과제 6-3에서 실행기를 만들었던 M 언어입니다. 언어의 스펙은 지난 과제에서 제공된 스펙 문서를 참조하시면 됩니다.

- 뼈대코드의m_lowfat.ml 파일은 지난번 숙제의 m_vanilla.ml에 해당하는 실행기입니다. 수업 시간에 교수님이 언급하셨듯이 과제 6-3을 놓치신 분들도 이번 type system 과제를 할 수 있도록 참고용으로 제공해 드립니다. (실행기에 이상한 부분이 있을 경우 알려주시면 감사하겠습니다.)