이상규
가입: 2026년 3월 4일 올린 글: 12 위치: 대한민국 서울
|
올려짐: 2026년5월14일 0:01 주제: [숙제 6] K- CALLR의 의미 |
|
|
안녕하세요,
K-에서 CALLR의 의미(Semantics)에 관해 질문 드립니다.
K-.pdf 상에서는 함수 f의 인자로 함수 이름을 사용할 수 있습니다.
예컨대 아래와 같이 call-by-reference로 함수 이름을 넘기는 것이 가능합니다.
| 코드: |
let proc fac(self, n) =
if n = 0 then 1
else (n * self(n - 1))
in
let n := 5 in
write fac<fac, n>
(* expected output: 120 *)
|
현재 뼈대 코드에는 이러한 프로시저 넘기기가 허용되지 않는 상태입니다. (k.ml, line 108, TypeError: not addr)
이러한 프로시저 넘기기는 허용하지 않는다고 보고 숙제를 진행해도 될까요? _________________ 감사합니다.
이상규 올림 |
|