알다가도 모를

타입패밀리를 더 알아볼 겸 번역했는데, 하는 도중에서야 이건 별로 도움이 안 될 것 같다고 깨닫.. 그래도 이왕한 거 유종의 미를 거뒀달까요. 나름 애썼지만 읽을 수 있으면 다행이고 오역을 보장 못 합니다;; 그리고 타입 패밀리가 궁금한 거면 여기나 여기를 읽는 게 더 나을지도... 원문 주소: https://wiki.haskell.org/GHC/Type_familiesGHC/Type families 연동indexed 타입 패밀리, 혹은 짧게 타입 패밀리는 자료형의 즉석 오버로딩을 지원하는 하스켈 언어 확장이다. 타입 패밀리는 구체화 시의 타입 인자에 따라 특수화된 형태를 제공하는 다형 타입이다. 타입 패밀리는 타입 클래스와 비슷하다. 타입 클래스로 함수를 오버로딩하듯이 타입 패밀리는 자료형의 오버로딩을..