[신재호]

스펙을 보면 Record에 아무 것도 없을 경우 (x := {}) unit을 반환합니다. 그래서 그대로 구현하고 Equal을 이용하여 if (x = {}) 이런 식으로 비교 연산을 진행했는데 이것이 문법에 맞는 것인지 궁금합니다. 실행은 되고 결과는 맞는데 원래 이게 실행되는 것이 맞는지 잘 모르겠습니다.

항상 친절한 답변 감사드립니다!

[로파스]

equal을 이용하여 if(x={}) 이런 식으로 비교연산을 진행했다고 하시는게 정확히 어떤 뜻인가요?

k.ml파일내에서 빈 레코드의 경우를 저렇게 구현하셨다는 뜻인가요?

아니면 k-파일에서 저런 문법을 이용해서 비교를 하는 것이 가능한 것인지 질문하시는 것인가요?

k.ml에서는 빈 레코드와 아닌 경우를 저런식으로 구분하지는 못합니다.

K-언어에서 저런 비교문을 사용하시는 것은 올바른 사용법입니다.

-조교 드림.