검색 결과 7 개 일치합니다

안녕하세요, 조교님

2001-12145 김도겸입니다.

저도 write 및 equal 에 사용된 변수에 대해서 type을 체크할 때
ref 변수로 list를 만들어서 처리했습니다.
...

안녕하세요~

김도겸 2001-12145 입니다.

저도 테스트 셋을 하나씩 실험해 본 결과
조교님의 결과와 매우 많이 다르게 나오는데요.
다시 한 번 채점 � ...

받아들일 수 없는 것 아닌가요 ?

저는 write 에 사용된 변수는 int, bool, string 은 될 수 있지만
pair, arrow 등은 될 수 없으므로 generalize 하지 말아야 한다� ...

실행을 해보니

if order_pair.1 order_pair.2
=> if (order_pair.1 order_pair).2

와 같이 parsing 이 되는 것 같은데요.

원래 의도한 바는

if (order_pair. ...

마감 전에 답변을 들을 기회가 없을 것 같기는 합니다만.....

let proc f(x) =e1 in e2

를 녹이는 식의 윗변에 보면

G|- e1 => e1'

이 있는데요.
...

let x := 100 in
let proc f(x) =
(
x:= 3;
x := x*x;
write x;
(let y := 0 in
(for x:= 1 to 10 do
y:=y+x);
write y
); ...

let
rTime := {os:={start:=900,finish:=1015}, pl:={start:=1300,finish:=1430}, algorithm := {start:=1600,finish:=1715}, his ...