검색 결과 16 개 일치합니다

Sound & complete한 람다예보기가 있다면,

임의의 프로그램 pgm이 주어졌을 때,

let f = \x.x in
pgm; f f

라는 프로그램으로 변형해서 halting 문제를 풀 ...

201712는 사용 가능하다고 봐야할 것 같습니다.

다만 사용자 입장에선 두 출력을 구분할수는 없을 것 같습니다.

M.typ 은 타입 추론의 결과물이고,

추론 과정 중에 실질적으로 사용하는 것은 Poly_checker.typ 으로 보입니다.

또, 바꾸라는 것은 꼭 바꿔야 된다가 아� ...

주석 처리된 마지막 예는 IMPOSSIBLE이 아닌 것 같습니다.

일단 두 NameBox "x"가 서로 다른 모양의 열쇠를 갖을 수 있다고 봐야하지 않나 생각합니� ...

표지판 하나만 더 있으므로 열쇠모양에 차이가 없다,

지도 모양이 더 복잡하므로 더 복잡한 열쇠가 필요하다 등의 직관이 통하지 않는 문제입니다.
...

문제에서 주어진 표가 열쇠의 모양을 결정하는 유일한 규칙입니다.

표에는 탐사지도상의 위치가 암시하고 있는 열쇠 모양에 대한 조건들이 적혀있� ...

언어 spec에 C struct와 같은 그러한 제약사항은 없어보입니다.

그런 제약이 있다면 inference rule에 x in dom(r) 이런 조건이 있어야 겠지요.

그리고 레코드 ...

1.
사실 여기서 Proc은 closure라고 말하는게 더 정확합니다. closure가 무엇인지는 ppt에 있습니다.

procedure는 질문자분 말대로 코드에 이름을 붙인것인데, ...

1)
'a, 'b, 'c 등등은 임의의 타입을 나타낼 수 있는 타입인자들입니다.

t라는 타입을 정의할 때 그 안에 타입인자가 사용된다면,

그 타입인자들(예: ' ...

3.ppt 24페이지부터 보시면 아시겠지만,

변수가 지칭하는 메모리의 주소를 의미합니다.

M(l), M[v/l] 등은 메모리를 다루는 것을 의미합니다. 각각 메모 ...

C프로그램의 비유에서 착안해보았는데, 예들을 뭔가 다음과 같이 표현할 수 있겠네요.

1) AREA("a", CONNECT(STATION "a", AREA("b", STATION ...

Station "x"는 Area "x"에 enclose 되어있어야 한다는 의미입니다.

Enclose 되어 있다는건 꼭 AREA("a", STATION "a") 처럼 직접적인 포� ...

제가 채점을 하는 것은 아니지만,

rec은 단순히 해당함수의 재귀호출이 가능하도록 만드는 역할만을 하기 때문에 채점과 아무런 상관이 없을 것 같습 ...

x + 1이라는 식의 값을 계산하기 위해선 우선 x의 값을 알아야할 것입니다.

이 때 변수 x의 값이 무엇인지가 어딘가에 기록되어 있어야할 것이고, 그러 ...

struct .. end 로 정의하는 module은 말그대로 값이나 타입의 정의들을 갖고있는 모듈의 구현입니다.

sig .. end는 signature 또는 module interface는 구현된 모듈의 ...