loard134loard.hashnode.dev·Aug 27, 20248.27 :: Hkt 구현26일에 수면 패턴이 완전히 깨져서 되돌릴 겸 새벽에 HKT(Higher Kinded Types) 지원 관련 구현을 했다. 사실 HKT를 잘 구현하기 위해서는 기존 타입 시스템의 상당 부분을 갈아엎을 필요가 있어서, type checker / declarer 코드를 전체적으로 건드려야 했다. 처음에는 Haskell같은 언어에서 kind를 * -> * 처럼만 표기하는 걸 보고 각 타입 부분에도 제약 조건 명시가 필요할 수도 있지 않을까 싶어서 ...63 readsDerive 컴파일러hkt
