Haskell, Thinking with Types: Existential Types

Part 8: Haskell - Thinking with types (Chapter 7: Existential Types)Подробнее

Part 7: Haskell - Thinking with types (Chapter 7: Existential Types)Подробнее

Part 2: Haskell - Thinking with types (Chapter 2 - Terms, Types and Kinds)Подробнее

Part 1: Haskell - Thinking with types (Chapter1: The Algebra Behind Types)Подробнее

[Haskell] Thinking with Types, Chapter 13: GenericsПодробнее

[Haskell] Thinking with Types: Custom Type Errors and GenericsПодробнее

[Haskell] Thinking with Types: Finishing Chapter 11Подробнее