[안중원]

안녕하세요 수강생 여러분,

숙제 8에 대한 공지사항 및 보충 세부사항을 안내해드리겠습니다.

내용 : https://kwangkeunyi.snu.ac.kr/4190.310/26/hw8.pdf
제출 : https://ropas.snu.ac.kr/~ta/4190.310/26/submit/index.pl
기한 : 6/13 밤 11시 59분 59초


# 과제 관련 주의 사항
과제를 제출하기 전에 꼭 주의사항( https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=7620 )을 확인해 주세요.

# 보충 세부사항
(이 글에 답글로 질문하지 말아 주세요. 별도의 게시글로 질문해 주시기 바랍니다!)

## Exercise 1 "저지방 고단백 M"

* M 언어의 스펙 문서 : https://ropas.snu.ac.kr/~kwang/4190.310/26/M.pdf
* 뼈대코드: https://ropas.snu.ac.kr/~ta/4190.310/26/show/nutritious.zip
* 뼈대코드에 simple_checker.ml 이 포함되어있으니 구현에 참고하세요.

* 뼈대코드의 `poly_checker.ml` 파일의 `check` 함수를 완성하여 제출합니다. `check` 함수는 입력으로 들어온 프로그램의 타입을 유추하여, `m.ml` 파일에 정의된 `typ` 타입으로 리턴해야 합니다.
* 타입 추론에 실패할 경우, `m.ml` 파일에 정의된 `TypeError` 예외를 발생시켜 주세요. (예외의 인자로 쓸 문자열은 자유롭게 정하시면 됩니다.)
* 뼈대코드에 몇몇 타입 정의와 함수를 제공합니다. 입맛에 따라 자유롭게 수정하여 활용하시기 바랍니다.
* M 언어의 스펙 문서에 나와 있듯이, 입력으로는 "non-function type expression"만 들어옵니다.
* 프로그램을 실행해 보고 결과를 관찰하여 답을 내놓는다거나 하는 방법은 금지입니다. 예컨대 프로그램을 실행해 보고, 정수 n이 나오면 `TyInt`로 추론하는 방식은 악의적인 구현입니다.
* 타입 체커 구현은 static semantics를 따라가시면 됩니다. M 문서의 static semantics를 보시면 loc의 내용물 타입이 같아야만 비교가 가능한 것으로 되어 있습니다. 즉 int loc 과 bool loc의 비교는 타입 에러입니다. Dynamic semantics에 따르면 정상적으로 실행되지만 타입 체킹에 실패하므로 타입 체커가 불완전(incomplete)해지기는 하지만, 여전히 안전성(soundness)이 보장됩니다.
* 프로그램의 최종 타입이, `m.ml` 파일에 선언된 `typ` 타입으로 표현할 수 없는 경우는 입력으로 테스트하지 않을 것입니다. `typ` 타입에는 함수 타입을 표현하는 constructor가 없으므로, 다음과 같은 프로그램은 입력으로 넣지 않겠습니다.