¼÷Á¦5: K Interpreter & Type Inference

4190.310 Programming Languages
2004 가을, 화/목 14:30-15:45 @ 302동 308호
서울대학교 / 컴퓨터 공학부 / 프로그래밍 연구실
정영범 | 신재호

뼈대 묶음

• hw5.zip
• hw5.tar.gz

숙제 하는 방법

• 1.n의 K_Vanilla.run 함수와 2.n의 K_Checker.check 및 K_LowFat.run 함수를 정의합니다. k.n에 K의 문법 및 타입, 실행기, 타입검사기, 구문구조 출력 등의 정의가 모여있으니 한 번쯤 살펴보는 것이 좋겠습니다.
• make를 이용해 컴파일하고 run을 이용해 K 프로그램을 실행합니다. (Windows에서는 nmakegen -f run.exe로 Makefile을 다시 만들어줍니다.)
  1. 1.n, 2.n 고치기
  2. make
  3. run sort.k
• run -pp sort.k 와 같이 하면 파싱된 구문구조를 확인할 수 있습니다.
• run -ty sort.k 처럼 -ty 옵션을 주면 주어진 K 프로그램을 2.n의 K_Checker.check으로 타입 검사를 한 뒤에 K_LowFat.run으로 돌립니다. -ty를 주지 않으면 1.n의 K_Vanilla.run으로 돌리기만 합니다.
• K 프로그램에서는 (* *) 사이에 주석을 넣을 수 있으며, // 로 한 줄만 주석으로 만들 수도 있습니다.

참고 사항

• K의 WRITE를 돌리면서 값을 출력할 경우에는 반드시 다음과 같이 값을 찍은 다음에 줄바꿈을 하십시오.

  정수값 v => print_int v; print_newline()
  true     => print_endline "true"
  false    => print_endline "false"
  문자열 s => print_endline s

• K.RuntimeError는 K_Vanilla.run과 K_LowFat.run에서만, K.TypeError는 K_Checker.check에서만 내야 합니다.
• 타입 오류나 실행 오류가 발생한 경우, 그 이유를 설명하는 적절한 메시지를 예외에 포함시키면 좋습니다.
• 숙제 제출은 여느 때와 같이 1.n과 2.n 파일만 합니다.