검색 결과 84 개 일치합니다

simple type과 관련한 테스트들(기본적인 동작)은 아래 올린 6-1, 6-2 테스트셋을 참고하시면 되구요
이중에서는 polymorphism으로는 통과해야하지만 simple type ...

안녕하세요. 답변 잘 읽었습니다.

알고보니 제가 expansive 여부에 따른 타입 추론 규칙을 구현할 때 사소한 실수를 했었습니다.

그리고 그게 맞다고 ...

imperative feature에서 expansive 을 사용하여

generalize를 일부 제한하는데요...

수업시간에 배운 바에 따르면 (expansive (E1 E2) = true)로 정의하고 있습니다. ...

아래 심우철 학생의 질문글에 달린 조교님의 답변에 따르면 숙제6의 경우와 마찬가지인것 같습니다.

supp(S)가 a 의 subset인것이 맞습니다.

supp(S)란 S가 바꾸는 타입변수들의 집합입니다.

타입스킴 {a1, ... an} tau' 의 한 instance가 tau가 될 수 있다는 말은
...

write (malloc 1)

error

write (3, 10)

error

write (write 1, write true)

error

malloc (write 1, write true)

loc( (int, bool))

...

write ((malloc 1) = (malloc true))

(* FALSE *)

이것이 이 시각에 올라온 이유는 제가 딜레이를 했기 때문입니다. 오오 통재라.

요건 기본 확인용.

1

int

"We need enough time to do homework" ...

n/m 은 받아들여야 한다...는 챌린지셋에 있는 조건인것 같습니다.

이 숙제는 받아들여야 하는 프로그램의 범위가 잘 정해져 있죠.

sound and complete.

..라고 하긴 민망하지만 일단 테스트를..

6-1은 비교적 쉬운 편이라 별 거 없습니다.

(
(* fibonacci *)
let rec f = fn x => ...

저도 궁금하네요.

아래 글(https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2464)에도 논의가 되었던 것 같은데

여기서의 실행은 6-1에서의 실행과 다릅니다. 6-1의 ...

위에서 보이는 for문의 동작은 의도된 것이 맞습니다.

K-- 언어의 의미구조는 교과서 81페이지에 나와 있습니다. for문을 위한 의미구조를 보시면 매루� ...

제가 생각하기에도 이 부분은 K- 인터프리터가 틀린것 같네요..

이런 요상한 물건들은 채점 시에 테스트하지 않으실 것 같아요.
(함수 이름이랑 변수 ...

정신나간 코너 케이스 몇개 추가

let x := 0 in
let i := 0 in
for i := 0 to (x := x+1; 10) do
i := i + 100 ;
write i;
write x;
write -1

( ...

그러면 메모리가 충분하지 않은 경우

RunError (_, _, _, _, _) -> printf "stuck configuration.@."

에 의해 stuck configuration 이라고 나오는 것이 맞� ...