검색 결과 24 개 일치합니다

Challenge 3번에서 해야될 것이 Sm5x의 기계작동 스탭과
K--에서 일반적인 재귀함수의 Sm5x로 변환해주는 trans 함수의 정의인가요?
당연히 tail-recursive call에 ...

스스로 생각하다가 깨달았습니다^^

답변 감사합니다~

그리고 교수님께서 수업시간에 앞으로 할일들을 실처럼 쭉 꿰서 전달하는 방식이라고 하셨는데, 앞으로 할일'들'은 cmd list같은 형태를 띄나요?

즉, � ...

cps 변환에서 전달하는 k는 함수로 이해하는게 맞나요?
즉, (cps' e) (fun x=> ~) 이런식으로 입력을 받는다는 의미인가요?

뼈대코드에서 조교님께서 미� ...

15년도 게시판에 올라온 테스트 케이스를 모아서 올려봅니다.
main.ml에 있는 코드를 뒤덮어서 복붙하셔도 되고 gc_test.ml을 따로
만드셔서 작업하셔도 � ...

letf에서 E에 f 자기 자신의 proc (즉, (f, (x,c',E'))) 을 포함하도록 짰는데
callv에서 call 이 끝나기 전에 c'에 call이 또 있는 경우(즉, 재귀함수)에는 callv 명령 ...

for이나 while문과 같은 loop을 짤 때, 이 loop 자체들이 recursive한 성격을 지니고있는데 recursive를 이용하지 않고 코드를 짤 수 있나요?
예를 들어 while문을 i ...

sm5에서 id의 location은 (a,o)라고 표시되는데 o가 id가 갖는 value값 아닌가요??
sm5의 semantics에서 plus (즉, add)에 관한 내용을 보면 <a,z1>이라고 표시되어 ...

K- 모듈만을 이용해서 저희가 직접 tree형 type를 만들어 사용하는거죠?
이 때 leaf(n)을 하나의 tree로 보고 빈트리가 왼쪽, 오른쪽에 달려있는 것으로
간� ...

아하! 이제 조굼씩 이해가 되네요. 감사합니다~~

CALLV를 고쳤더니 TEST4는 작동하는데
TEST6에서는 Error Unbound가 떠버리네요...
Error Unbound가 뜨는 경우는 ...

뼈대 코드에 같이 들어있는 test4 예시를 보면
let x:=1 in
let proc inc(n) = x := x + n in
let x:=0 in
(inc (1); write x)
이렇게 되어있는데 LETF에서 env 합집합 {inc |-&g ...

두 분 답변 정말 도움 많이 되었습니다^^ 감사합니다~

친절한 답변 감사합니다! 뼈대 코드를 받아놓고 ml 파일을 txt 파일로 내용을 열어볼
생각을 안했었네요 ㅎㅎ 감사합니다~

1. procedure이 명령문을 이름 붙인 것이라고 이해하고 있었는데
형태가 id list * exp * env 인 것이 잘 이해가 안됩니다.
예시로
...
let proc f(x)= y:= x+y in S
. ...

수업시간에 배운 내용도 그렇고 과제에 명시되어 있는 스펙을 보면
env가 변수 이름과 주소의 list로 되어 있는데 여기서 주소는 어떤걸 의미하나요?

...