이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김성준
가입: 2009년 9월 10일 올린 글: 30
|
올려짐: 2009년11월10일 16:15 주제: M 언어 정의의 3. static semantics에서 몇몇 규칙들이 보이지 않습니다. |
|
|
언어 정의에서 타입 시스템의 규칙이 몇개 보이지 않는데요.
지금보니 '다음이 프로그램 식 e의 타입을 결정하는 규칙들이다. 완성해서 사용하라' 라고 되어 있네요. 비어있는건 유추해서 구현하면 되나요? |
|
위로 |
|
|
허기홍
가입: 2007년 9월 27일 올린 글: 231
|
올려짐: 2009년11월10일 22:25 주제: |
|
|
예. 여러분이 충분히 유추하실 수 있을겁니다. |
|
위로 |
|
|
|