검색 결과 81 개 일치합니다

괄호 빠뜨리신 것 같네요.

let val f = fn x => (write (x.1); write (x.2)) in
f (1, 2)
end

로 fn 내용에 괄호 넣어주셔야 될 거예요.

감사합니다.

저 예제들은 뼈대코드에 나와있는 타입 하에서 출력하는 것이 불가능해 보입니다.

가능한가요?

x
fn x => y
처럼 실행될 리 없는 expression이 입력으로 들어온 경우 그냥 아무렇게나 예외 처리해버리면 될까요?

아직 결정되지 않거나 polymorphic한 타입들에 대해 나타내어줄 타입이 뼈대코드에 없습니다. 그래서 다음과 같은 코드에 대해서는 체크가 성공적으로 되 ...

감사합니다. 마지막 과제까지 많이 도움 받아갑니다.

입력으로는 program만 들어오나요?
아니면 프로그램이 아닌 expression도 들어올 수 있나요?

fn x => x

fn x => x + 1

이러한 expression들에 대해서는 type ...

다음과 같은 프로그램을 생각해볼 수 있습니다.

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

영원히 리턴되지 않는 프로그램입니다. 프로그램은 non-function type ex ...

감사합니다.

문서에는 binary operator =와 write로 가능한 타입이 or로 묶여 있습니다.
(i, b, s, or l) / (i, b, s)

그러면 다음과 같은 프로그램은 타입 체커에서 타입 오류� ...

저도 똑같이 나옵니다. 감사합니다.

감사합니다. 저도 똑같이 나옵니다.

OCaml 4.01.0을 사용했는데, let rec = 부분에서 컴파일 에러가 납니다. rec 대신 recs 같은 다른 이름을 사용하면 다 같은 답이 나옵니다.

테스트를 위해 추� ...

두 단계를 거쳐서 파일을 가져오는 것은 쉽지 않은 분들도 있으리라 생각하기 때문에 다른 방법을 공유합니다.

midori.snucse.org에 같은 계정으로 접속� ...

감사합니다.