Lloard134inloard.hashnode.dev·Jul 14 · 1 min read표현식의 책임표현식의 책임은 오로지 하나의 의미를 산출해 내는 것이다. 반환 타입이 nothing(void, unit 등)인 함수(편의상 액션이라고 칭함)를 호출하는 것도 표현식의 일부긴 하지만, 사실 목적상 그런 것들은 유의미한 표현식이 아니라고 생각한다. 정확히 말하면 그런 것들이 표현식에 포함되는 것은 바람직하지 않다. 다른 표현식으로 수렴하게 되는 함수의 일부로00
Lloard134inloard.hashnode.dev·Aug 27, 2024 · 3 min read8.27 :: Hkt 구현26일에 수면 패턴이 완전히 깨져서 되돌릴 겸 새벽에 HKT(Higher Kinded Types) 지원 관련 구현을 했다. 사실 HKT를 잘 구현하기 위해서는 기존 타입 시스템의 상당 부분을 갈아엎을 필요가 있어서, type checker / declarer 코드를 전체적으로 건드려야 했다. 처음에는 Haskell같은 언어에서 kind를 * -> * 처럼만 표기하는 걸 보고 각 타입 부분에도 제약 조건 명시가 필요할 수도 있지 않을까 싶어서 ...00
