이 책 읽어보려고 함:
Type theory and functional language - Simon J. Thompson

근데 수학적 사고력이 모자라서 잘 해낼 수 있을지 모르겠다. (어제랑 오늘 수잘갤에서 병크 두 건 터뜨렸지롱)

Higher-Order Pattern Unification 구현하면 디펜던트 타입 시스템도 만들 수 있을 것 같은데.

- dc official App