검색 결과 23 개 일치합니다

지금까지 수업의 논조로 봤을때는

soundness는 기본적으로 만족시켜야 하고 최대한 complete할수록 높은 점수를 받을 것만 같습니다. 그림으로 말하면 동 ...

poly_checker.ml 안에 있는 타입만 다루면서 타입체크 하시면 되고,

리턴은 m.ml에 있는 타입으로 리턴해야 하므로 이를테면 다음과 같이 짜면 됩니다. (마 ...

저도 오늘 과제하다가 중간에 그런 워닝이 한번 떴는데요,

저같은 경우에는 모듈명 (이를테면 M.LET _ 에서 앞에 M) 을 깜박하고 안 적었을 때 그러더라 ...

가급적이면 7-3을 풀어야 한다는 것인가요? 7-2는 7-3 실패했을때만 풀고..?

재작년 과제 7~8과 내용은 같은데 배점이 달라져서 의아해서 질문드립니다.

일단 직관적인 부분을 말씀드리자면 함수 타입 두 개를 비교하는 경우 (t1=t3) and (t2=t4) 와 같은 방식으로 비교하는 게 맞습니다.

t1, t2, t3, t4 등이 복� ...

그 부분은 보충스펙에도 명시되어 있는 것 같습니다.

그리고 e와 cps' e는 타입이 다르다는 것도 유의하셔야 할 것 같습니다.

(cps' e는 함수를 받아서 ...

아마 (-6)처럼 괄호를 치시면 의도한대로 될 겁니다.

완전 자신있는 부분은 아닙니다만..

m0.ml에 정의된 getPair 함수를 적절히 활용하는 게 맞을 듯합니다.

------------------------------------------------------------- ...

질문이 조금 감이 안 잡히는 부분이 있지만 도움을 드리자면..

Sm5.CALL 호출 이전에 (x, C', E') 상태에서 E'을 직접 조작하는 건 아마 안 될겁니다.

왜� ...

그런거 같습니다.

record는 K--스펙에는 없지만 (5-1)

SM5 스펙에는 있으므로 고려하는게 맞다고 봅니다.

뒤에서 2번째 테스트 결과에서 B 중에 2가 빠져야 되는 거 같습니다.

그리고 emptyL을 정의 안 하신 분들도 혹시 있을 수 있으니,

그리고 혹시 실패하� ...

let unwrap identifier = match identifier with
| A -> 0
| B -> 1
| C -> 2
| D -> 3
| E -> 4

let _ =

let printList lst =
print_char '[';
List.iteri &# ...

n만 포함합니다.

procedure의 body부분 (LETF 정의상에서 e1부분) 이 ASSIGN 하나라고 적으셨는데 사실 네 개 입니다. (VAR, VAR, ADD, ASSIGN 순으로 eval)

VAR는 rval ...

어이쿠 제가 잘못 적었군요.

스펙에 따르면 call하는 시점에 환경에 바인딩하는 게 맞습니다.

(미리 바인딩해놔도 동작하긴 하겠네요..)

1. env에는 id -> location (변수의 메모리상의 주소) 의 바인딩을 가지고 있습니다. 즉 주소값이 저장되어 있는 것이 맞습니다.

LETF, 즉 procedure를 정의하 ...