검색 결과 8 개 일치합니다

아, 잘못 생각했습니다

안녕하세요 Exercise 2의 TC 관련해서 질문드립니다.

TC로 TC 내에서 추가한 svalue나 evalue가 최상단에 없음에도 unbind나 pop을 통해서 stack과 env를 조작하는 ...

빠르고 자세한 답변 감사합니다

아, 그런데 타입 추론이 되지 않는 게 맞겠네요.
예시의 결과가 제가 생각한 것과 달라서 헷갈렸습니다.

제가 이해하고 생각한 바는 아래와 같습니� ...

아, rank는 찾아보니 제가 잘못 이해했네요.

게시판에 공유주신 vscode extension에 의하면 올려주신 코드 예시는 타입추론되지 않아서 타입 추론이 안 되� ...

1단 다형타입이기 때문에 f의 타입 추론이 불가능한 것일까요?

let-polymorphic type system의 expansive 알고리즘에 궁금점이 있어서 질문드립니다.

expansive(let rec f = fn x => E1 in E2)는 어떻게 처리해야 할까요?

expansive의 � ...

3친수를 d_i가 양수인 경우와 음수인 경우를 분리하면 두 개의 3진수로 표현가능합니다.
따라서 어떤 정수를 표현하는 3친수는 자릿수를 늘리거나 줄이 ...