[김진현]

내장지방, 타입 체크 구문을 잘 도려낼 방법이 있나요?

어차피 우리가 사용하는 nML 에서, `값(M의)' 이라는 타입이 있을 테고,

이 `값' 이 어떤 구조냐로 실제적인 값을 꺼내올 수 있을 겁니다.

이를테면 type value = Integer of int | Boolean of bool 과 같은 타입에서

value 타입의 v로부터 실제적인 int 값을 꺼내오려면 v 가 Integer(n) 임을 알아야 합니다.

이정도의 타입에 대한 구문은 2번에도 있어야 할 것 같습니다.

그런데 1에서의 타입 체크 구문도 이와 다를 바 없을 것 같은데,

과연 도려낼 지방은, 무엇인가요?

(숙제 하신 분들은 무얼 도려내신 건지 궁금하네요 ㅜ.ㅜ)
_________________
The kingdom of heaven has been forcefully advancing, and forceful men lay hold of it.

[서성현]