박제상
가입: 2018년 9월 18일 올린 글: 12
|
올려짐: 2018년10월19일 10:40 주제: 보충 스펙에 관한 질문이 있습니다. |
|
|
안녕하세요 조교님 매번 질문 해서 죄송합니다. 이번에는 보충 스펙을 읽다가 궁금한 점이 생겨서 질문드리는데요
인용: | RECORD의 FIELD에 ASSIGN하는 경우, 만약 정의되어있지 않은 필드에 값을 할당하려는 경우는 오류처리하도록 구현해주세요. 언어 정의문서의 레코드 필드에 값을 할당하는 부분 정의에 앞선 경우와 같은 경우에 어떻게 처리할지(새로운 필드를 만들어서 그곳에 값을 할당할지 오류처리를 할지) 정확히 명시가 되어있지 않기에 그렇습니다.
|
라고 보충 스펙에 명시가 되어있는데 정확하게 무슨 의미인지 아직 파악이 잘 가지 않습니다. 제가 의도적으로 저 예시를 만들려고 하는데 다음 코드 같은 경우 인건가요?
코드: | let x := {i := 10, b := true} in
x.j := 20; write x.j |
|
|