검색 결과 25 개 일치합니다

변하는게 타입체커 구현부분밖에 없으니까요 Smile

교수님께서 쓴 paper를 읽어보고 있는데요. Notation부분에서 궁금한 점이 생겨 질문드립니다.

For a substitution S, the support supp(S) is {a | Sa (not equal) a}, ...
...

왠 파싱 에러인가 해서 봤더니, 다른 파일을 제출해버렸네요 ;;

그 파일에는 null 값이 9999로 정해지지도 않았습니다. ;;

지금와서 너무 늦었는지는 � ...

substitution을 방정식에 바로 적용하는건 타입이 안맞아 불가능하구요 ..

방정식에서 나타나는 type var들을 substitution을 이용해 바꾸라는 의미같습니다. ...

저 역시 R 형식에 대한 GC는 고려하지 않고 제출했는데요...
K-- 프로그램과의 연계에서 GC를 짜는 거라 생각해서 말이죠. ;;

현재 Sm5의 구조에서는 메모리가 단순히 (loc * value) list 의 타입을 가지고 있는데요..
이를 gc 함수에 넣으면 반환되는 값이 다시금 (loc * value) list 지 않� ...

LETF를 Sm5 언어로 번역하는데, proc 타입을 이용하려고 하는데 environment는 어떻게 알 수 있을까요? 그걸 할 수 없으면, LETF 를 해석할 수 가 없을것 같은데� ...

덕분에 잘 해결한것 같습니다.
감사요 Smile

1.n 숙제를 하고 있던도중에, LETV 를 해석하는 과정에서 막히고 있습니다.

MALLOC으로 생성된 주소값을 두번 써야하는데 한번 쓰면 이미 사라져 버리니 ...

레코드를 비교할때는 속내용을 보고 비교하라는 의미인거 같은데요..

그럼

t = null // record = int
=> false

지만,

t1 = t2 //record = record

의 � ...

트리 문제를 풀고 있던 도중에 함수를 정의할때 isLeaf? 와 같은 식으로 하니까 문법 오류가 나는군요.. ;

스킴에서처럼 될줄 알았는데 Confused

그냥 isLeaf ...

leaf 나 node는 int 나, tree를 받아 tree를 내놓는 함수잖아요.
근데null에 대한 이해가 잘 되지 않네요.
단지 int 타입이라고 하면, null을 어떤 정수로 정의� ...

숙제 문서에 보면, node 함수는 3tuple을 인자로 받는데, 이를 어떻게 K-로 표시할 수 있을까요?

만약 3tuple은 레코드로 표시한다고 해도, 나중에 숙제를 � ...

이번 숙제를 하고 있는 도중에, malloc 을 구현하는데 궁금증이 생겼습니다.
Mem 스트럭쳐에 보면, allocate 함수가 있고 size를 넘기게 되어있잖아요?
근데 ...

exp 타입에 ASSIGN, MALLOC 등등을 정의했고,

val 타입이 확장됨에 따라, Record 타입이 새로 생기잖아요.

그럼 Record 타입은 책에 의하면,

Record = Id -> ...