게시판 인덱스

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

[과제 4] K- CALLR 관련 문법 질문입니다

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



가입: 2026년 3월 4일
올린 글: 2
올리기올려짐: 2026년4월17일 15:03    주제: [과제 4] K- CALLR 관련 문법 질문입니다 인용과 함께 답변
안녕하세요.

다름이 아니라, 과제 4의 K- Call by Reference 중 record를 인자로 받는 e.y의 경우 미리 정의된 record가 아니라 call 안에서 선언하는 record가 가능한지 여쭤보고자 합니다.

예를 들어,
코드:

f <let x := {i := 10, b := true} in x.i>


와 같은 문법이 가능한가요? 아니면
코드:

f <{i := 10, b := true}.i>


혹은
코드:

let x := {i := 10, b := true} in
f <x.i>


만 가능한가요?

구체적으로, 예시 7을 변형하면 다음의 코드가 됩니다.
코드:

let proc f (a,b,c) =
  write a;
  write b;
  write c;
  b := 5;
  (a * b) + c
in
let x := 1 in
let y := 2 in
let z := 3 in

write x + (f <y, let x := {i := 10, b := true} in x.i, z>)


감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
안중원
Site Admin


가입: 2023년 3월 13일
올린 글: 53
올리기올려짐: 2026년4월17일 15:11    주제: 인용과 함께 답변
안녕하세요, 조교 안중원입니다.

CALLR의 인자로는 VAR 또는 FIELD 식만 들어오는 것으로 가정하시면 됩니다. 말씀하신 식에서는 CALLR에 LETV 형태가 들어왔는데 이러한 식은 PDF의 문법에 포함되지 않으므로 테스트하지 않습니다.

한편 e.x 형태만 맞춰준다면 e에는 LETV를 포함하여 어떤 식이든 올 수 있습니다.

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

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


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