검색 결과 9 개 일치합니다

안녕하세요 조교님.

오늘 수업시간에 배운 내용 let polymorphism은 For all만 존재하는 polymorphism인데, 그렇다면 let f = fn x => write(x) in ... 는 x가 모든 타� ...

안녕하세요 조교님,

과제 7-4의 내용인 타입체커의 구현이 아직 수업시간에 진도를 나가지 않은 것으로 이해하고 있는데요,
미리 수업자료를 보며 � ...

조교님, 답변 감사합니다.

그렇다면 sm5 프로그램에서 env, malloc을 우회해서 하드코드된 loc을 push하고 그 주소의 값으로 mem에서 store/load를 하는 것도 � ...

안녕하세요, 과제 6-2에 대해 질문이 있습니다.

SM5의 스펙을 보면 push는 Value값 v를 받을 수 있고 v는 Integer + Bool + Unit + Record + Loc인데,

PUSH (Val ( ...

직접 테스트하고 싶으신분들을 위해 지도를 OCaml type으로 적으면

Branch
( Guide ("a", Branch (End (NameBox "a"), Guide (" ...

안녕하세요, 과제4 질문드립니다.

과제 4.1에서 모든 Record의 Field id가 유일하지 않은경우에는 어떤식으로 동작해야 하나요?

let r := {x := 3, x: = 4} in
...

안녕하세요,

과제 2-4에서 숙제의 템플릿을 그대로 따라가는 IntListQ 모듈을 구현해야 한다고 하셨는데 과제의

let enQ = ...

를

let enQ : queue * eleme ...

안녕하세요,

과제 2-1을 제대로 이해한 것이 맞는지 몇가지 질문드립니다.
1. VAR x는 POWER (x, 1)과 동일 한 의미로 생각해도 될까요?
마찬가지로 POWER ...

안녕하세요, 과제를 하던 중 질문사항이 있어 문의드립니다.

1. hw1 보충 세부사항 게시글에서 ex5에 대해 다음과 같은 언급이 있는데요,

* 3친수를 � ...