[최원태]

숙제 3가 나왔습니다.

10월 8일 까지, 에세이 한편과 코딩과제 2문제입니다.

이제부터가 본격적인 프로그래밍 언어 과제입니다.
난이도가 앞의 두 과제에 비해 상당히 높은만큼 빨리 시작하시길 권장합니다.

세부가이드는 빠른 시간안에 만들어 올리도록 하겠습니다.

[최원태]

숙제 3-2은 Module K를 구현하셔서 제출하셔야 합니다.

원래는 뼈대 위해 구현하도록 되어있지만, 이미 구현을 시작한 분들이 계시는듯 하군요.
꼭 뼈대를 따르지 않더도, 과제의 스펙만 만족하면 상관은 없지요
(본인의 실력향상을 위해서는 더 좋을지도 모르겠습니다)
다만, 원활한 채점을 위해서, 제출형식에 조건을 두가지만 더 붙이겠습니다.

1.
자동 채점을 위해 value의 정의를 통일합니다.
다음 형식을 따라주세요.

[최원태]

과제 3-2 뼈대가 공개되었습니다.

http://ropas.snu.ac.kr/~ta/4190.310/08/hw3_skeleton.tar.gz

사용 방법은 README file을 읽어보세요.
과제에 작게나마 도움이 되기를

P.S
이번 Skeleton code의 Environment와 Memory 구현은
효율성보다는 K--의 실행모델이 잘 드러나도록 하는데 주안점을 두었습니다.
구현이 약간 지저분하지만, 뜯어보면 얻는것이 있을 것입니다.

[최원태]

http://ropas.snu.ac.kr/~ta/4190.310/08/hw3_testset.zip

과제 3-2의 입력 예제입니다.

2005년 수강생이 만든 테스트코드 1개
역대 조교들이 만든 테스트코드 9개

여러분도 좋은 테스트셋을 만들면 올려주세요.
역사에 이름을 남길 수 있습니다

[최원태]

http://ropas.snu.ac.kr/~ta/4190.310/08/hw3_semantics.pdf

과제 3-2의 Semantics를 정리한 문서입니다.
수강생 A의 도움으로 작성했습니다.
(이름을 밝히기를 거부하여)

과제하기에 충분한 양의 정보가 교과서와 강의록으로 제공되기에 올리지 않을 생각이었습니다.
제가 수강생 시절을 생각해보고(반성하고), 힘든 사람들을 구제하는 Aid로 제공하기로 결정했습니다.

이미 과제를 끝난 분들은 Semantics를 보고 느끼겠지만
상식적으로 구현했다면, 인터프리터 구현과 Semantics가 거의 일치할 것입니다.
아직 해매고 있는 분은 목적지를 향해 덜려가는 지침서로,
이미 끝낸 분은 제대로 했는지 확인하는 용도로 쓰세요.

이번에는 뼈대 -> 테스트셋 -> Semantics 순서로 올렸는데, 앞으는
테스트셋+제출 포맷 안내(과제 나간 직후) -> 뼈대(마감 1주 쯤 남은 시점) -> Semantics(마감 1일 전 쯤)
순서로 올릴테니 참고하세요.

[최원태]

수강생들의 도움으로 Semantics에서 에러를 하나 잡았습니다.
CALLR이 잘못 되어있었군요

기존에 받아 보셨던 분은 새로 받아보세요

[최종식]

CALLV 에도 아래쪽에 M'' 이 아닐까요 :$

LETF 에도 위쪽 sigma{f->~} 요기에서 > 가 하나 안닫혀 있네요 [..]이건 중요한건 아닌듯 하지만--;

그리고 제출할때 1번에 2.n을 제출하고 2번에 numch를 제출하는거죠?--;

[최원태]

그 두개의 오타는 수정했다고 생각했는데;;
수정하였습니다.

제출은
2.n (아마도 3.n일테지만, 이름은 크게 중요하지 않아요)과 numch.k--를 제출하시면 되요.
파일 내용물이 중요하지, 파일 이름은 크게 중요하지 않아요

[윤용호]

올려주신 semantics에서 CALLR은 아무값도 만들어내지 않네요.

책에서 CALLR에 대해 메모리만 만드는것처럼 써있긴 하지만

'명령문과 식의 통합' 과정에서

CALLR도 값을 갖는 것으로 '당연히' 추가되었다고 보는게 맞지 않을까요?

우리의 의미정의에서 메모리만 만들어내는 것은 없는것같은데..

[최원태]

맞습니다. v, M'을 돌려줘야 하겠군요.