검색 결과 45 개 일치합니다

98419-019 김진산입니다.

1. 저도 6-2 에서 4문제 틀린것으로 채점결과가 나왔는데요~

돌려보니 53번 문제를 제외한 결과가 모두 정답과 동일합니다. � ...

채점하시느라 수고 많으셨습니다. Smile

혹시 5-2 테스트 셋을 올려주실 수 있으신지요~

저 같은 경우는 sound 한 동작을 보장하기 위해서..

도달 � ...

아하! 그렇군요!

민망합니다.

ㅋㅋ

실시간 답변 감사 드립니다.

채점하느라 수고가 많으십니다! Very Happy

3-3 문제의 solution이 문제 안에 다 들어있는데~

1점이 깎여서 이상해서 봤더니,

어이없는 오타를 쳐 놨더군요.. ㅠ_ㅠ

왠지 1점이 아쉬워서.. OTL

...

올려주신 예제는 type checker를 통과하지 못하는 것이 정상동작으로 생각됩니다.

write 함수는 argument로 int, bool, string만 받을 수 있기 때문입니다.

주 ...

그렇군요!

type inference를 function body 마다 따로 하고 있었는데~

program 전체로 equation을 만들면 unify 문제가 풀리겠다~ 라고 생각만 하고

주말 이후 ...

주어진 sort.m 예제에는 아래와 같은 코드가 있습니다.

val print2 = fn x =>
let val a = x.1
val b = x.2
in
write a; write b
end

wr ...

추가 답변이 없어서, 다시 한번 댓글 답니다.

___ 로 시작하는 Symbol이 없다고 가정해도 될까요? Embarassed

말씀하신데로~ while을 function call로 구현시

함수명 및 dummy argument 처리 때문에

말씀드린 겁니다. Smile

숙제 4.2에서 주어졌던 가정인

일단, 편의를 위해서 테스트 프로그램에 쓰이는 이름들 중에는
___(_가 세개)로 시작하는 이름들은 없다고 생각하세� ...

숙제 4에서 주어진 K- 실행기 에서는

read, write 의 return value가 책의 정의와 달랐습니다.

(하재승 학생이 질문 했었는데, 답변이 없었습니다.

사소� ...

1.

" SM5의 Cmd Set으로는 for, while 와 같은 iterative statement를

구현하기 상당히 까다롭습니다.

(S, M, E, C, K) 에서 C를 변화 시킬수 있는 Cmd는 jtr, call � ...

let
ix := 0;
iy := 0;
iz := 1;

bx := true;
by := true;
bz := false;

rx := { a := 1, b := 1, c := 2};
ry := { a := 1 ...

아하!

K- 코드에서 field를 비교하라는 의미로 잘 못 이해하고 있었네요. Embarassed

답글 달아주신 한재화님 감사합니다.

'끈적이: hw4-3 관련' 을 읽으니

빈 나무를 'null'로 정의해도 되겠네요.

의문이 드는건

if (null = t) then // int = record

형태는 쉽게 처 ...