검색 결과 9 개 일치합니다

프로그램 식 exp를 의미하고 썼던 것인데, 다시 생각해보니 제가 타입 체커의 동작을 잘못 이해하고 질문했던 것 같네요. 지금은 해결되었습니다.

감� ...

주어진 examples 에서 예상되는 출력 결과로
test3.m에는 (* result : type check failure *) 라고 적혀있고,
test7.m 에는 (* result : type error *) 라고 적혀 있는데 두 에 ...

write (exp) 라는 프로그램만 주어졌다고 하면, 이 프로그램이 int, bool ,string 중에 하나란 것은 알지만 그 세 개 중에 무엇인지는 정확히 모르기 때문에 타� ...

주어진 skeleton code를 그대로 실행하면 4.02.3 버전에서는 버전이 너무 낮다는 오류가 발생합니다. 숙제 6에서는 버전을 업데이트하고 4.05.0으로 진행해도 ...

HW 4-5 숙제 공지에서

- Guide ("x", e1) 에 대해 ...
이때 e1 안에는 반드시 x 가 존재한다고 가정하겠습니다.

라고 설명되어 있는데,
애초부터 e1 ...

안녕하세요, HW 4 - 4번 문제에서 애매하다고 생각되는 부분이 있어서 제가 이해한 바가 맞는지 확인차 질문드립니다.

cond 중 Except of cond * gift list의 경 ...

안녕하세요, HW4의 1번 문제의 예외처리에 대해 궁금한 것이 있어 질문드립니다.

공지사항을 살펴보면

- RECORD의 FIELD에 ASSIGN하는 경우, 만약 정의되� ...

앗 pdf에서 원소의 정의를 제대로 읽지 않았네요. 스스로 해결되었습니다.
성급히 질문드려 죄송합니다.

예시에서
[code]let yourQ = IntListQ.enQ(myQ, [1])
을 보면 삽입되는 원소가 list꼴로 입력되는데 이 리스트의 원소가 1개가 아닐 수 있나요?
즉,
[code]let yourQ ...