검색 결과 18 개 일치합니다

7-2를 구현해서 make 한 후 ./run 커멘드를 이용해서 examples에 있는 테스트 케이스들을 실행해 보았는데요, 그 결과가

== Running input program with xexp Interpret ...

질문이 자꾸 많아져서 죄송합니다 ㅠㅠ 아무리 고민해도 6-4 문제의 갈피를 잘 못잡겠어서 질문드립니다.

1. 무한루프를 도는 프로그램을 입력으로 � ...

보충스펙에서

프로그램의 최종 타입을 m.ml 파일에 선언된 types 타입으로 표현하였을때 함수타입이 남아있는 경우는 입력으로 테스트하지 않을 것입� ...

타입체크 시 M.IF(e1, e2, e3) 형식의 exp에서 질문이 있습니다.

1. e2와 e3의 타입이 다른 경우 무조건 타입 에러를 띄우면 되나요?
2. 만약 e2, e3 모두 타입 ...

6-2 뼈대코드 cps.ml에서 let rec cps'의 Add 부분을 보면

| Add (e1, e2) ->
let v1 = new_name () in
let v2 = new_name () in
Fn (k,
App (c ...

여러 삽질 끝에 5-1을 해결 한 것 같습니다.
일단 exercise에 있는 테스트케이스는 모두 통과 하였고
추가적으로 2중 for문이나 2중 while문도 테스트케이스 ...

17년도 게시판을 참고하여 구현중인데요
for, while 문을 번역 시 그냥 재귀적으로 구현하면 stack overflow가 발생하는 문제에 관해서
17년도 게시판에는 한 ...

감사합니다!

테스트를 전부 통과했다는걸 나타내기 위해서 맨 마지막 줄을
print_endline "Passed all tests!";
로 바꾸면 더 좋을것 같아요!

스펙 문서에서 nil 이라고 써있는 것은 빈 리스트라고 이해해도 될까요?

그리고 혹시 '아무것도 받지 못함'과 '그 조카가 아무런 요구도 하지 않음'을 ...

3-3을 구현할 때, 문제에 정의된 함수들 말고
함수나 변수 등을 제가 임의로 추가로 구현해서 사용해도 무관한가요?

감사합니다.

3-3 테스트의 정확한 방법을 모르겠어서 질문 드립니다 ㅠ

만약 3-3의 함수들(leaf, makeLtree 등등)을 구현한 코드 파일이 exercise3-3.k- 이라고 하면,

테스 ...

EQUAL (e1, e2) 의 경우,
e1과 e2의 실행 결과의 value 들을 v1, v2 라고 했을 때

1. v1, v2가 모두 Unit 인 경우
2. v1, v2가 모두 Bool 이고 그 값도 같은 경우
3. v1, ...

뼈대코드 k.ml 에서

match e with
...
| WRITE e ->
...

이런식으로 되어있는 부분이 있는데요
match문 에서도 e를 쓰고
아래의 WRITE e에서도 e를 쓰� ...

제목이 곧 내용입니다.
항상 수고가 많으십니다.
감사합니다.

조교님께서 올려주신 테스트케이스에서요

let (n, queue') = IntListQ.deQ (IntListQ.enQ(IntListQ.enQ(IntListQ.emptyQ, [1;2;3]), [4;5]) ...