검색 결과 33 개 일치합니다

안녕하세요,

숙제 8의 exercise 1번에 대해 질문이 있어 여쭈어봅니다.

M 언어 실행기로 실행했을 때 무한루프를 도는 프로그램도 let-다형 타입 시스� ...

답변 감사합니다!

궁금한 것이 더 생겼는데, 공지에 function type을 돌려주는 입력은 들어오지 않는다 말씀하신 것에 대해, 그렇다면 M.TyArrow 가 결과로 ...

안녕하세요, 제출 기한을 넘었지만 아직 늦은 제출 기한은 남아 네 번째 exercise에 대해 여쭤봅니다.

1. 프로그램 중 단순히 1혹은 "text" 처럼 변 ...

감사합니다.

설명해주셔서 정말 감사합니다!

Pair을 받을 수 있는 함수에 k를 전달하는 것처럼 에러가 나지 않으면 사용법은 자유롭다고 생각하면 될까요?

자세한 답변 정말 감사드립니다.

아직도 말씀해주신 부분 중에 헷갈리는 것이 있는데,

1번의 경우, Fn, Fnr을 변환할 때 (cps e)가 어떤식으로든 존재� ...

안녕하세요,

위 질문의 연장으로 여쭤보고 싶습니다. 2번의 Handle의 경우도, Handle 함수 자체가 evaluate 되기 전에 xcps’ e1이 evaluate 되면 무조건 raise가 � ...

답변 감사드립니다!

1 번의 경우, \k. k(Fn (x, 몸통 변환 ) 형태에서 함수 몸통을 cps' 로 변환하는 모습은 반드시 (cps' e) = \v....k 형태가 아니라도 될까요 ...

안녕하세요, 숙제 7과 관련하여 전반적으로 질문이 있어 여쭤봅니다.

1. 문제 1의 경우, 상수 Fn과 Fnr은 람다식으로 Y 함수를 써서 풀어쓴 형식이 아니� ...

안녕하세요,

저는 std library의 compare와 string_of_int 함수를 사용했는데 괜찮을까요?

추가적으로, gc.ml의 malloc_with_gc 함수가 ocaml에서는 loc * memory 가 아� ...

답변 감사합니다!

추가로 여쭤보고 싶은 게 있습니다.

1. 기존에 제공해주신 K.ADD의 번역을 바꿔도 될까요?

2. translator.ml 파일의 상단, 즉, trans 함� ...

안녕하세요, 과제 6을 풀면서 질문이 생겨 여쭤봅니다.

1. gc.ml 파일을 테스트할 때 저희가 구현한 translator 도 함께 사용이 되나요? Translator 구현 방식� ...

안녕하세요, 과제 5에 대한 형식 질문을 몇 가지 드리고 싶습니다.

1. 혹시 제목이나 이름의 위치에 대한 조건이 있을까요?

2. 4 페이지로 변환하기 ...

답변 감사드립니다!

혹시 몰라 여쭤보는데 NUM, ADD, MUL, ... 등 hw3에서 저희가 만들어야 했던 k-- expression들에 대해 공개해주신 모범 답안들을 hw4에 사용 ...

답변 감사드립니다! 1.2의 경우 {}가 들어왔을 때 말씀하신 것처럼 Record []로 해서 구현했습니다.