Haskell:FunWithTypes

하스켈 타입과의 유희 (Fun with Types)

다형성 기초

Existentially qualified types

타입 클래스 고급

팬텀 타입

일반화된 대수적 데이터 타입 (GADT)

데이터타입 대수

타입 생성자 & 종(kind)

See also

• Haskell
• Haskell:Tutorials