숙제7: 저지방 고단백 M

프로그램

제공하는 프로그램 소스는 M 언어의 파서, 인터프리터와 단순 타입 시스템의 뼈대입니다.

숙제 제출은 반드시 1.n 만 제출해 주세요.

컴파일 및 실행 방법

[UNIX]

  1. nmakegen -f
  2. make
  3. run examples/sort.m

[WINDOWS]
  
  1. nmakegen -f
  2. make
  3. run examples\sort.m

이후에 수정을 해서 다시 컴파일하는 경우는 2 ~ 3과정만 다시 반복하면 됩니다.

 * run -pp examples/sort.m 와 같이 하면 파싱된 구문구조를 확인할 수 있습니다. 

 * run -poly examples/sort.m 처럼 -poly 옵션을 주면 주어진 M 프로그램을 1.n의
   M_PolyChecker.check으로 타입 검사를 한 뒤에 M_LowFat.run으로 돌립니다.
   -poly를 주지 않으면, 주어진 M 프로그램을 1.n의
   M_SimChecker.check으로 타입 검사를 한 뒤에 M_LowFat.run으로 돌립니다.

 * 실행시, 파일명을 명시하지 않을 경우, 표준입력으로부터 실행코드를 읽어들입니다.
   표준 입력으로 프로그램을 입력하신 후, 첫 번째 칸(column)에서
   유닉스 머신에서는 Ctrl-D, 윈도우 환경에서는 Ctrl-Z를 누르시면 
   프로그램이 실행됩니다.

숙제 제출 방법

 * 1.n의 M_PolyChecker.check 함수의 정의를 완성해서,
   1.n만 제출합니다.
   
 * M_PolyChecker.check 함수 실행시 발생하는 모든 예외는
   반드시 M.TypeError 으로 감싸주어야 합니다.
   그 이외의 exception이 발생할 경우, 무조건 틀린 것으로 간주합니다.

참고 사항

 * m.n에 M의 문법 및 타입, 실행기, 타입검사기, 구문구조 출력 등의 
   정의가 모여있으니 한 번쯤 살펴보는 것이 좋겠습니다.

 * 타입 오류나 실행 오류가 발생한 경우, 그 이유를 설명하는 적절한
   메시지를 예외에 포함시키면 좋습니다.