검색 결과 8 개 일치합니다

제가 이해한 바로는, (ifz e1 e2 e3)의 경우 e1이 실제로 0인지 아닌지에 따라 실제 실행할 함수식 집합이 달라져야 하는 것 같은데
재귀식의 경우 한 부분� ...

1.
"프로그램 e가 연립방정식 E를 세우는 규칙"을 e┣ E로 나타냈는데,
"e_k의 실행결과가 n"은 어떤 방식으로 표기하면 될까요?

2.
주어 ...

hw6-2의 cps 변환 함수가 올바른 cps 형태로 변환되었는지 확인할 수 있는 방법이 있나요?

예를 들어 e1+e2를 λk.k(e1+e2)로 변환해버린다면 타입은 맞고 실� ...

조교님이 올려주신 테스트케이스에 약간 추가했습니다.
gc_test.ml에 추가해서 실행하면 됩니다.

let cmds6 =
let cmds = [] in

let cmds = append 12 ...

let proc f(x) = (x := 10000; 1) in
write (2+f(1))

let proc f(n) = n := n + 3 in
let n := 2 in
let m := n * 2 in
for m := 0 to n do ...

K-언어의 스펙상 안 될 이유가 없어 보이고
실제로 돌려보니 동일한 결과가 나오네요

구현의 편의를 위해 crazy2가 아닌 다른 타입을 선언하고 사용해도 무관할까요?

Exer1
merge가 반환하는 하나의 순서 리스트는 인자로 받는 리스트들과 마찬가지로 descending order 인가요?

Exer3
인자 n이 음수인 경우에는 어떻게 처리해 ...