검색 결과 14 개 일치합니다

안녕하세요,

let-다형 타입 시스템에서 로 일반화하는 값의 범위에 관해 질문 드립니다

숙제 pdf에는 어떤 식에서 일반화해야 하는지가 나와있지 않 ...

안녕하세요,

뼈대 코드로 제공된 simple_type_checker에 오류가 있어 문의 드립니다.

1. 안전하지 않습니다.
let val x = (1, 1) in
x = x
end

와 같� ...

안녕하세요,

cps(e)의 형태에 관해 질문 드립니다.
e가 상수가 아니면 항상 cps(e) = \k….(\v….k… ) 형태로 변형되어야 합니다. 상수가 아닌 복합식의 경 ...

안녕하세요,

K-에서 CALLR의 의미(Semantics)에 관해 질문 드립니다.

K-.pdf 상에서는 함수 f의 인자로 함수 이름을 사용할 수 있습니다.
예컨대 아래와 � ...

안녕하세요,

K- 레코드의 동일성 구현에 관해 질문 드립니다.
Sm5는 레코드가 가리키는 위치(Location)가 같으면 같다고 간주해서, K-의 구조적 동일성(st ...

안녕하세요,

다음과 같이 풀이하면 답이 금괴 하나가 되는 것 같습니다.

[x] (x | ([y] (x | y)))가
((=, =), (=, =))을 암시한다고 생각하면,
첫 번째 x에서� ...

안녕하세요,
답변 감사합니다.

Bar의 총 개수가 같다면 어느 열쇠 꾸러미를 답으로 내든 상관없나요?
예컨대 {-, (-, -), (-, (-, -))}와 {-, ((-, -), (-, (-, -)) ...

안녕하세요,

비슷한 질문으로, Hashtbl이나 Sys (시간 확인을 위해) 등 Stdlib에 있는 모듈들은 전부 사용해도 되는 것일까요?

감사합니다.

안녕하세요,

뉴 보물섬 관련하여 질문 드립니다.

1. 안내판이 놓인 길 밖에, 안내판에 적힌 이름과 같은 이름의 보물상자가 있을 수 있나요?
즉, x | ...

안녕하세요,

Record는 structural equality로 확인한다고 하셨는데, 이와 관련해 질문 드립니다.

1. k-.pdf 상에서 어떤 메모리로 equality를 확인하는지가 불� ...

안녕하세요,

수강생 이상규입니다.

안내판x (x | (안내판y (x | y))) 와 같은 지도를 생각할 때,
이를 금열쇠로 열고자 하면
x는 ((금열쇠, 금열쇠), 금� ...

안녕하세요,

숙제 2에서는 OCaml 5.4.0을 사용한다고 명시해 주셨는데,
숙제 3 공지사항 및 보충 세부사항에는 버전이 공지되어 있지 않습니다.

이번� ...

안녕하세요,
수강생 이상규입니다.
숙제 3 1번에 관해 문의 드립니다.

1. k--.pdf에 local binding(LETV)에 대한 실행 의미가 없습니다. 이 부분을 추가해주� ...

안녕하세요,

수강생 이상규입니다.
숙제 1 제출 양식에 관해 질문 드립니다.

1. 파일명은 마음대로 지으면 될까요? (merge.ml, 합쳐요.ml, 1-1.ml 등)

2. ...