과제3 WHILE 질문

seongtae_jeong · 가입: 2024년 3월 4일 올린 글: 10

안녕하세요.

K-- 스펙 문서를 보면, [WhileFalse] 부분에 while 문의 값이 (·, M')로 묘사되어 있습니다.
여기서 가운뎃점은 Unit을 의미하는 것인가요? 아니면 어떤 의미인가요?

이재호 · Site Admin 가입: 2022년 3월 6일 올린 글: 209

안녕하세요,

네, 프로그램에서 `unit`을 실행해 계산한 값과 동일합니다.

K-- 문서를 잘 살펴보시면 2 Domains에서 𝑣 ∈ Val = ℤ+𝔹+{·}과 같이 명시가 되어 있습니다.
나아가 3 Semantics에서도 unit ⇒ ·와 같이 적혀 있습니다.

감사합니다.

조교 드림

TA 이재호
e-mail: jhlee@ropas.snu.ac.kr