검색 결과 10 개 일치합니다

정말 감사합니다..

CPS를 활용해야 할줄은 몰랐네요

감사합니다!

1. removeExn 함수 내에서는 eval 을 사용하면 안되는 건가요?
2. #이나 @같은 문자들은 입력으로 안 들어온다고 가정해도 될까요?
3. 혹시 조금이라도 힌트� ...

쓰이지 않는 함수가 있을 때, 타입 체크를 통해 함수 자체가 잘못되면 오류를 내야 할까요?
이를테면
let val f = fn x => (3 + true) in
write 3
end
같은 � ...

제목 그대로
let val x = malloc 3 in
x := true;
write !x and true
end

이런 프로그램은 type checker에 의해 걸러져야 하나요?

e2, e3의 타입이 달라도 프로그램이 성립하는 경우가 있지 않나요?
예를들면 if true then write true else write 2 같은 프로그램은 e2, e3는 각각 bool, int지만 맞는 ...

M.pdf type checking부분을 보면 reclet, bang, pair 등을 보면 바 윗부분의 조건식이 비어 있는 것으로 나오는데( ㅏ만 보입니다 ) 원래 이렇게 나오는 게 맞나요? ...

let s := 0 in
let i := 0 in
for i := 1 to 1 do(
s:= 3;
i:= 2
);
write s;
write i

이런 코드를 실행시키면 3 0을 출력시키는 게 정상인가요?

감사합니다.

Debug기능이 있으니 훨씬 과제가 수월했습니다.

덕분에 고생을 많이 줄였네요.

Location의 offset이 고려될 경우 실제로 실행하기 전까지는 reachable의 판단할 수 없는데, ex . (ADD 3; ADD 5;) 같은 command 들로 offset이 정해지는 건 실제 실행하� ...

Record는 ocaml에서 하나의 function으로 정의되는데, 이를 일종의 dictionary로 이해하면 될까요?
그렇다면 이 function에 (x, 1)이란 record를 추가한다거나 하는 � ...