[이재호]

안녕하세요,

지난 수업이 끝난 후, 한 학생 분께서 저지방 고단백 M을 구현할 때 저지방 M(단순 타입 시스템)의 예시 답안이 있으면 도움이 될 것 같다고 말씀주셨습니다.
확인해보니 아직 많은 학생분들께서 제출을 안 하셨는데, 조금이나마 도움이 되고자 제가 작성한 타입 체커를 공유드립니다.

단순 타입 시스템을 이해하고, 숙제 8의 다형 타입 시스템을 구현하실 때 참고하시면 좋겠습니다.
또한 좋은 OCaml 코드 작성 규칙에 따라 작성하였으므로, 이런 부분도 함께 보시면 도움이 될 것입니다.

http://ropas.snu.ac.kr/~ta/4190.310/24/show/simple_checker.ml


숙제 7 채점 결과는 곧 공지해드리도록 하겠습니다.


감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr