검색 결과 12 개 일치합니다

그런데 이게 문제는 실제로 작성되는 프로그램은 대부분(?) 안에 function application을 갖고 있다는 것입니다.

let rec f = fn x=> let rec g = fn x => f x in g x ...

5-1.

1. 문제에 보면 normal-order reduction rule을 따르도록 하라고 되어 있습니다. normal-order reduction은 항상 가장 왼쪽의 가장 바깥쪽 redex부터 reduce하기 때� ...

제 생각에는 오히려 K-- 인터프리터의 구현이 틀린 것 같습니다.
교재 77페이지를 보면 재귀 호출을 지원하는 함수 호출 의미에서 함수와 인자가 environm ...

조교님은 아니지만........ 두 가지 모두 구현 가능합니다. (K-- 뿐만 아니라 K- 또한 SM5로 번역 가능하다는 글을 교재 맨 끝에서 본 것 같네요.)
더 자세한 ...

1. 메모리 주소(Loc) 사이의 뺄셈에 대해 스펙 문서와 구현이 다른 것 같습니다. 스펙 문서에는 정수간의 뺄셈 혹은 메모리 주소에서 정수를 빼는 것만 � ...

스택 넘침이 발생하는 원인이 Mem.replace_nth 함수의 재귀 호출로 인한 것이라면 이 함수를 let rec replace_nth = fun l n c ->
match l with
h::t -> if ...

올려주신 K- Semantic에 의하면 record는

의 형태로 정의되는데, 뼈대 코드에 정의된 Record 타입은

Record of (string -> exp)
로 되어 있습니다. Sema ...

1. X의 값을 알 수 없는 경우 어떤 예외를 발생시켜야 하는지 궁금합니다.
2. division by zero에 대한 처리가 필요한가요?
3. SIGMA를 계산할 때 구간이 정수� ...

트리 중에 NODE
그런 입력이 들어왔을 때 NOMOVE 예외를 일으켜 주세요.
NODE goLeft (LOC (NODE [], HAND ([LEAF "x"], TOP, []) ...

제가 앞에서 한번 질문한 적이 있었는데요, 이는 파일 인코딩 문제가 아닙니다.

UTF-8 환경에서 작업해도 인터프리터 상에서는 저렇게 바이트...로 나� ...

let some =
파일 인코딩은 EUC-KR(혹은 CP949)로 되어 있고 실행 환경은 UTF-8을 사용하는 문제인 것 같네요.
파일을 UTF-8로 저장하시면 될 것 같습니다. ( vim� ...

신청합니다.