검색 결과 260 개 일치합니다

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

숙제의 최종성적과 챌린지 채점결과, 학점을 공개합니다.

학점에 대한 최종적인 클레임은 내일(12월 28일 금요일) 오전� ...

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

한학기동안 정말 수고많으셨습니다.

모든 클레임이 반영된 숙제 1~7까지의 점수를 공개합니다.

혹시 자신의 클레임이 ...

factorial같은 경우는 0이상의 정수가 입력으로 들어온다고 가정하셔도 좋습니다.

곱셈은 언어에 따로 정의가 되어있지 않으므로 임의로 쓰시면 안되� ...

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

숙제4 에세이과제 채점이 완료되어 관련된 사항들 안내드립니다.

숙제4 에세이과제 채점결과입니다.
(중요)
클레임 및 ...

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

프로그램 외적인 실수 수정기회 사용에 대한 내용을 안내드립니다.

이미 숙제 클레임기간에 많은 분들이 수정기회를 � ...

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

또한, 숙제 6 채점이 완료되었습니다.

클레임은 7일 뒤인 12월 11일까지 받겠습니다. 제 오피스 아워에 오시거나 따로 � ...

Fn(x, e)에서 e 역시 sub-expression이므로 물론 알맞은 방법으로 cps변환되어야 제대로 실행됩니다. 구현을 완성하신 뒤 (fn x => x+1) 1 과 같은 간단한 프로그 ...

1. 네 무한루프 여부와 별개로 타입체킹은 항상 짧은시간내에 끝낼 수 있습니다.

2. 정확한 예시에 따라 조금씩 다르겠습니다만, 이번숙제의 심플타� ...

M언어 타입정의 첫부분을 보시면, 해당 문서의 타입언어 정의는 완성된 상태가 아니라고 나와있습니다.

비어있는 부분은 완성해서 사용하시면 되고, ...

그렇기때문에 숙제 6-4에서의 타입시스템이 안전하지만 완전하지 않은 것입니다.

제대로 실행되는 프로그램중에서도 타입에러라고 걸러내는 경우가 ...

네, x가 int loc인지 으로 선언되었으나 실제로 bool loc처럼 쓰였기 때문에

타입에러를 띄워주셔야 합니다.

자세한 타입유추식은 Assign부분을 참고해� ...

네 오류로 처리하셔야 합니다.

타입체크를 하는 시점은 실행전이므로, 어떤 부분이 dead code인지 알 수 없습니다.

따라서 타입오류가 있는 지점이 � ...

1,2. 네 그런경우는 테스트하지 않을 예정입니다.

3. 스펙밖의 사항이므로 자유롭게 구현하시면 됩니다.

-조교 드림.

추가설명드립니다.

작년도 뼈대코드는 다형타입시스템을 대상으로한 구현의 뼈대코드이기때문에 코드의 타입과 구현이 다소 다릅니다.

그대로 � ...

물론 CPS변환을 실제 코드에 적용할때는 여러가지 구현이 있을 수 있겠습니다만,

이번숙제문서에 서술된 기법은 cps변환의 근본적인 방법론이라고 할 ...