검색 결과 14 개 일치합니다

뭔가 빡세군요 -_-
결국 int를 location 대용으로 써야 되는 분위기인데.. int의 공간을 나눠서 특정 영역을 location용으로 써도 됩니까? 다시 말해, 특정 영� ...

지금 보니 스펙의 Value에는 Location이 포함이 안되는군요. 이것의 의미는 역시 Location 타입을 Integer로 구현하라는 말인 건가요?

K--에는 MALLOC과 ASSIGNG가 있고 MALLOC은 가변 길이의 연속된 메모리 셀을 할당할 수 있으며 value 타입 중에 Location이 있어서 Location과 Num의 ADD, SUB가 가능합� ...

현재 컨텍스트에서 정의되지 않은 변수를 참조한다든지 하는 잘못된 프로그램도 convert할 수 있어야 하는지요? 어차피 이런 프로그램은 설탕을 녹이든 ...

Define "matrix", please. 크기는 고정인지 가변인지, 고정이라면 어떤 크기인지. 특정 구현(record or malloc)을 사용하여야 하는지.
K-에서는 eval 문에서 파라� ...

스펙에 조금 이상한 것이 있어서 질문드립니다.
스펙에 의하면 레코드의 경우 r1과 r2의 정의역이 같고 r1의 정의역에 속한 모든 원소 x에 대해 equal(r1(x) ...

항상 김덕환 조교님의 짧은 반응시간과 높은 열의에 감탄하고 있습니다.
저는 숙제 나온지 며칠 안돼 거의 다 하고, 지금 나온 스펙으로 다시 수정하� ...

ASSIGN의 값이 UNIT인지 아니면 대입되고 있는 값인지
덧붙여서 "이미 값이 할당된 변수에 타입이 다른 값이 새로 할당되면 어떻게 할 것인지"
예를 들자 ...

스펙은 기본적으로 토론 결과를 따를 겁니다. 토론이 대부분 올바른 결론에 도달할 거라고 믿으며, 그렇지 못하다고 판단되면 말씀드린 대로 토론에 � ...

또 하나 애매한 것이 있습니다.

10. READ의 대상 변수가 unbound일 경우 입력을 받은 다음 raise Error하는지 아니면 받은 후에 하는지

스태틱 타입 체크 상황을 가정할때 3번의 경우 조건이 참이든 아니든 타입이 같아야 하므로 UNIT이 맞을 것 같습니다.
4번의 경우 then절과 else절의 타입� ...

음.. 토론은 토론이고 채점은 하셔야 할텐데(그것도 심지어 기계로) 설마 스펙을 토론 결과로 정하는 건 아니겠죠? ㅡ_ㅡ

강의시간에 점차로 새 개념들을 도입하면서 진행해 왔기 때문에 구현해야 할 정확한 semantics를 알 수 없는부분들이 많습니다. 예를 들자면

ASSIGN의 � ...

리스트에는 같은 정수가 반복해서 들어있지 않다고 했는데, 이건 입력의 제약조건입니까, 출력의 제약조건입니까, 아니면 둘 다입니까?