검색 결과 13 개 일치합니다

"이후 사용될 가능성을" 확인하기 어렵기 때문에

(malloc 1, fn x=>x)

의 경우는 expansive = true이고,

(malloc 44; fn x=>x)

의 경우� ...

안녕하세요, 수강생 정원준입니다.

malloc이 반환한 loc이 어디에도 할당되지 않아 이후 사용될 가능성이 없기 때문이 아닐까요?

(malloc 44, fn x=>x ...

안녕하세요, 컴퓨터공학부 정원준입니다

주어진 poly_checker.ml의 스켈레톤을 살펴보면 type_scheme이 다음과 같이 정의되어 있습니다.

type typ_scheme = Simp ...

감사합니다.

wsl 켜서 실행하니까 잘 동작합니다.

숙제 7의 문제 1부터 4까지 모든 문제에서 발생하였습니다.

지금까지의 숙제에서는 이런 일이 없었습니다.

안녕하세요, 컴퓨터공학부 정원준입니다.

숙제 7의 코드를 실행할 때,

`run` 파일(혹은 `./_build/default/bin/main.exe`)을 다음과 같이 실행하시면
등으� ...

안녕하세요, 컴퓨터공학부 정원준입니다.

Exercise 3 보충 세부사항에서는

"서로 다른 타입을 비교하거나, Pair끼리의 비교, Closure끼리의 비교는 � ...

안녕하세요,

1. https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=7476
공지사항에 보면

(예를 들어 채점시에는 if isLeaf (lTree (tr)) then write (1) else write (0) 이러한 코� ...

안녕하세요,

함수의 선언에서 파라미터가 중복으로 들어오는 경우
e.g. let proc f(x, x) = x

혹은 record에서 filed가 중복으로 들어오는 경우
e.g. let x := { ...

MEM의 경우 한 번에 여러 개의 메모리를 alloc하거나
여러 개의 값을 한 번에 저장하는 함수,

ENV의 경우 한 번에 여러 개의 변수를 bind 하는 함수입니다 ...

안녕하세요

새로운 함수를 만들어 사용하기 위해 MEM, LOC, ENV의 type을 변경해도 될까요?

감사합니다.

안녕하세요,

숙제 3 공지사항에

"실행 의미 규칙이 정의되지 않은 경우 Error 예외를 발생시킵니다."
라고 안내 되어 있습니다.

(1) 타입 에 ...

다른 문제와 달리 Exercise 3에는 함수의 type이 정해지지 않아있습니다.

혹시 문제의 조건만 맞추면 자유롭게 구현해도 될까요?

이후 숙제에도 이런 � ...