[김우열]

의 차이점이 뭔가요ㅜㅜ

6_1을 하고 나서 6_2를 봤더니 똑같은게 있어서 쫌 당황했어요 ㅜㅜ

그냥 type checker가 있으면 Lowfat?? 인건가요??

그러면 걍 6_1에서 Ctrl+C,Ctrl+V해도 된다는......? 그런건가요 ㅎㅎ

[현철]

그냥 저지방에서는 자체적으로 타입검사를 하지 않는 것 같아요

[허기홍]

6_1, 6_2 파일 맨 위 주석에 보시면

interpreter with dynamic type checking // static type checking
이라고 되어있습니다.

6_1은 dynamic type checking을 하는 인터프리터를 구현하면 됩니다.
어떤 m 프로그램이 들어왔을 때
이러이러한 경우에는 타입 에러가 발행하겠구나 생각하셔서
타입 에러가 날법한 곳에 익셉션을 덕지덕지 붙여주시면 됩니다.
안그러면 알수 없는 에러라고 프로그램이 죽는 경우가 생기겠지요.

6_2에서 simple type checker를 제대로 구현하신다면
타입 에러가 날법한 곳에 덕지덕지 붙은 지방을 다 도려내도 됩니다.
타입 체커를 통과한 프로그램은 항상 안전한 실행을 보장하기 때문입니다.

이번 숙제는 그 차이를 느껴보는게 목표입니다.