이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
민세원
가입: 2015년 9월 17일 올린 글: 10
|
올려짐: 2015년12월13일 21:17 주제: 8-1 Loc의 eq에 대한 질문 |
|
|
안녕하세요 조교님
8-1 m 언어에서 Loc type에 대해서 eq 연산자를 사용할 수 있습니다.
그런데 문서의 m 언어는 Loc이 어느 타입의 loc인지 따로 생각을 안하는데 저희 과제에서는 어느타입의 loc인지를 고려하는것 같습니다.
이럴 때 다른 타입의 loc끼리도 eq를 쓸 수 있나요?
예를 들어 int의 loc과 bool의 loc을 비교하려고 하면 타입에러가 나야하는지, 제대로 되어야 하는지 궁금합니다.
감사합니다!! |
|
위로 |
|
|
박성원
가입: 2015년 9월 1일 올린 글: 19
|
|
위로 |
|
|
민세원
가입: 2015년 9월 17일 올린 글: 10
|
올려짐: 2015년12월14일 9:01 주제: d |
|
|
아 작년게시판에 있는내용이네요
감사합니다!! |
|
위로 |
|
|
최재승
가입: 2012년 9월 10일 올린 글: 211
|
올려짐: 2015년12월14일 9:28 주제: |
|
|
안녕하세요,
M 언어의 2. Dynamic semantics 에는 loc에 들어있는 내용물의 타입이 달라도 두 loc을 비교할 수 있게 되어 있습니다.
반면 3. Static Semantics (type rule) 에는 안에 들어있는 내용물의 타입까지 같아야 비교할 수 있도록 되어 있습니다.
숙제8의 타입 체커 구현은 static semantics를 따라가시면 됩니다. 타입 체커가 조금 불완전(incomplete)해지기는 하지만, 안전성(soundness)은 해치지 않으므로 괜찮습니다.
인용: | 예를 들어 int의 loc과 bool의 loc을 비교하려고 하면 타입에러가 나야하는지, 제대로 되어야 하는지 궁금합니다.
|
타입 에러가 나지 않고 통과시킬 수 있다면 더 좋은(완전한) 타입 체커가 되겠지만, 우리 숙제에서는 타입 에러를 내도 괜찮습니다. 물론 채점에도 이러한 테스트케이스는 쓰지 않을 것입니다.
조교 드림 |
|
위로 |
|
|
|