검색 결과 5 개 일치합니다

배점 이상해요 ㅠ
1번 하는데 1주일 걸렸는데 OTL 털썩

let procedure addOne( n ) =
0
; n := n + 1
; n
in

let procedure fac( n ) =
let arg := n - 1 in
let return := 0 in
0
; if n = 0 then
...

let
x := `(`(3))
in
write eval(eval(x))
end

저렇게 들어오면, 에러처리를 해야하지 않을까요 ?
즉, stage1 에서 구현되지 � ...

LIFT, COMMA, EVAL에 대해서는

Stage 1에서의 Semantics가 정의되어 있는데

QUOTE에 관해서는 없는 것으로 보이네요.

stage 0 에서 stage 1로 올라갈 수 있는 ...

stage1 IF2 세번째 항이
env,m2 ㅏ e3 -> e6,m3
가 되야할 것 같은데

네. 저도 보면서 이상하게 생각했는데요, e3이 빠진것 같습니다.
그 많은 식에서 하 ...