게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

[숙제 6] K- CALLR의 의미

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2026)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
이상규



가입: 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)

이러한 프로시저 넘기기는 허용하지 않는다고 보고 숙제를 진행해도 될까요?
_________________
감사합니다.

이상규 올림
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
안중원
Site Admin


가입: 2023년 3월 13일
올린 글: 76

올리기올려짐: 2026년5월14일 21:21    주제: 인용과 함께 답변

안녕하세요, 프로그래밍 언어 조교 안중원입니다.

말씀하신대로 K-의 CALLR에서는 함수를 인자로 전달하는 것이 가능합니다.
이를 반영하여 sm5.zip의 k.ml 파일을 수정하였으니, 해당 부분을 정확히 테스트하고자 하는 경우 압축파일을 다시 받아주시면 됩니다.

감사합니다.
_________________
TA 안중원
e-mail: jwahn@ropas.snu.ac.kr
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2026) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay