검색 결과 13 개 일치합니다

감사합니다

let rec f =
fn x => f x
in
f 1
end

위의 프로그램에 대해서,
올바르게 구현했다면 poly-checker가 int로 타입 추론을 해야되나요?
아니면 TypeError를 내 ...

이해가 됐습니다! 감사합니다

답변감사합니다!

그런데 만약 stack에 있는 location들도 reachable location이라면,
저 예제에서 두 번째 MALLOC할 때 이미 stack에 <1,0>이 있으니
GC_FAILURE� ...

gc로도 메모리를 확보하지 못하는 상황이 아니라,
메모리 제한을 1로 바꾸어도 테스트 결과 저 코드가 문제없이 동작합니다(STORE를 2번해야되네요)

me ...

GC관련해서 의문점이 생겨서 질문드립니다.

memory limit를 1로 수정하고

PUSH(Val(Z 10))
MALLOC
PUSH(Val(Z 5))
MALLOC
STORE
PUSH(Val Unit)

이런 코드를 실행하� ...

혹시 .bat 파일이 없어서 make가 안되는 문제라면
<파일이름: make.bat>
ocamlc -c k.ml
ocamlc -c sm5.ml
ocamlc -c translate.ml
ocamlyacc parser.mly
ocamlc -c parser.mli
oc ...

HW4의 4번 탐사 지도에서
아래와 같이 타입이 정의된 부분을 수정해도 될까요?

type treasure = StarBox | NameBox of string | Ghost

EX2에서
numch함수를 numch(n,k)로 정의해서

```
let input := 0 in
read input;
write(numch(input,0))
```
라고 했는데, 괜찮은가요?

그리고 input을 50000을 넣으니 10� ...

EX3 설명 끝부분에
"만든 실행기에 메모리 소모량을 측정하는 장치를 달고, 프로그램을 돌렸을 때 얼만큼의 메모리를 소모하는 지를 재보자. 메모� ...

let a= calculate(SIGMA(REAL 1.5, INT 3, X))
1.
SIGMA 계산시 시작 값이 끝 값보다 클 경우 0을 리턴합니다.
따라서 예제의 경우는
1+2 = 3이 됩니다.

그러면 SIGMA( ...

하나의 파일에 문제에서 제시된 함수 이외의 다른 함수도 정의해서 같이 사용해도 문제 없나요?

만약 let a = calculate(SIGMA(REAL 1.5, INT 3, X)) 라고 한다면
1.5를 1로 생각해서 a = 1+2+3 = 6 이 되는것인가요?

그리고 공지에서 "float 의 infinity/neg_infinity/nan ...