이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김우열
가입: 2009년 10월 4일 올린 글: 13
|
올려짐: 2009년11월11일 0:31 주제: Vanilla, Lowfat |
|
|
의 차이점이 뭔가요ㅜㅜ
6_1을 하고 나서 6_2를 봤더니 똑같은게 있어서 쫌 당황했어요 ㅜㅜ
그냥 type checker가 있으면 Lowfat?? 인건가요??
그러면 걍 6_1에서 Ctrl+C,Ctrl+V해도 된다는......? 그런건가요 ㅎㅎ |
|
위로 |
|
|
현철
가입: 2009년 10월 7일 올린 글: 27
|
올려짐: 2009년11월11일 8:56 주제: 흠 |
|
|
그냥 저지방에서는 자체적으로 타입검사를 하지 않는 것 같아요 |
|
위로 |
|
|
허기홍
가입: 2007년 9월 27일 올린 글: 231
|
올려짐: 2009년11월11일 9:29 주제: |
|
|
6_1, 6_2 파일 맨 위 주석에 보시면
interpreter with dynamic type checking // static type checking
이라고 되어있습니다.
6_1은 dynamic type checking을 하는 인터프리터를 구현하면 됩니다.
어떤 m 프로그램이 들어왔을 때
이러이러한 경우에는 타입 에러가 발행하겠구나 생각하셔서
타입 에러가 날법한 곳에 익셉션을 덕지덕지 붙여주시면 됩니다.
안그러면 알수 없는 에러라고 프로그램이 죽는 경우가 생기겠지요.
6_2에서 simple type checker를 제대로 구현하신다면
타입 에러가 날법한 곳에 덕지덕지 붙은 지방을 다 도려내도 됩니다.
타입 체커를 통과한 프로그램은 항상 안전한 실행을 보장하기 때문입니다.
이번 숙제는 그 차이를 느껴보는게 목표입니다. |
|
위로 |
|
|
|