검색 결과 40 개 일치합니다

황인준님이 올려주신 인풋에 대해서 제가 말한대로 에러가 된다면
폴리가 심플보다 completeness 가 낮아지게 되어 좀 이상하긴 하지만 (잘 돌 수 있는 프 ...

let val f = (fn z => z) in f 3; f end

이 인풋의 경우 poly 에서는 f 라는 함수의 타입이 정해지지 않으니까
(우리의 구현에서는 일반화된 alpha -> alpha � ...

타입 중에서
τ loc : location type
이라고 정의되어 있는데요.
즉, 어떤 타입의 location 이라는 형식으로요.
m.ml 에서도
| TyLoc of types 라고 정의되어 � ...

프로그램이 아닌 함수 정의로 끝난다면,
타입은 정의할 수 없더라도 (바디 안에 에러가 앖다면) 다 살행 시 정상 종료가 될 것입니다.
어떻게 처리해� ...

함수만 들어있는 것에 대해서도 타입을 결정하려다 보니 질문이 있습니다.

fn x => x+1
의 경우 int -> int 가 될 것이고
fn x => x
는 에러를 내는 � ...

fn x => x : 7-1, 7-2 모두 TypeError

let val f = fn x => x in f 1 end : 7-1, 7-2 모두 Int

let val f = fn x => x in f 1; f true end : 7-1은 TypeError, 7-2는 Bool

정리하면 이 ...

타입 체킹이 되지 않은 다는 게 타입 에러를 내야 한다는 것인가요? 아니면 이런 프로그램은 무시하고 런타임때 에러가 나게 해도 된다는 것인가요?

스펙이 헷갈려서 질문드립니다.

1. 함수타입으로 끝나는 것이어도 (프로그램이 아니더라도) 타입을 결정한다는 것이죠?

2. https://ropas.snu.ac.kr/phpbb/vi ...

다른 분들도 이렇게 하고 계실 것 같긴 한데, 테스트할 때 이렇게 하면 좀 편하더군요.

main 파일을 이렇게 수정했습니다.
open M 뒤에 저렇게 추가를 � ...

저도 그거 질문 올렸었는데요. https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4615
M 문서를 보니, pair, closure 에 대해서는 = 에 대한 정의가 없더군요.
그래서 그런 � ...

저도 그렇게 나오네요.
테스트셋 감사합니다!

자답입니다.
강좌 웹페이지에 M definition 이 있는 걸 몰랐네요.
http://ropas.snu.ac.kr/~kwang/4190.310/14/M.pdf

Closure 는 EQ의 조건이 어떻게 되는지 모르겠습니다.
M 언어와 관련된 스펙은 어디서 확인할 수 있는지요?

답변 감사드립니다. 많은 궁금증이 풀렸습니다.

같은 일을 한다와 관련되어 다른 질문 드리고 싶습니다.

과제 pdf 문서에서는
push 1::push 2::add::put::empty
이것이
write 1+2
가 같은 일을 한다고 나와있� ...