View Detailed Profile
Part 2: Haskell - Thinking with types (Chapter 2 - Terms, Types and Kinds)

Part 2: Haskell - Thinking with types (Chapter 2 - Terms, Types and Kinds)

Looking at the great book by Sandy Maguire “

Part 1: Haskell - Thinking with types  (Chapter1: The Algebra Behind Types)

Part 1: Haskell - Thinking with types (Chapter1: The Algebra Behind Types)

Looking at the great book by Sandy Maguire “

[Haskell] Thinking with Types, Chapter 13: Generics

[Haskell] Thinking with Types, Chapter 13: Generics

In this video, I continue working on

Haskell, Thinking with Types: Chapter 10 First Class Families

Haskell, Thinking with Types: Chapter 10 First Class Families

In this video, I work through

Thinking with Types, Chapter 1, Cardinality, Isomorphisms, and the Curry-Howard Isomorphism.

Thinking with Types, Chapter 1, Cardinality, Isomorphisms, and the Curry-Howard Isomorphism.

In this video, I work through

Part 7: Haskell - Thinking with types (Chapter 7: Existential Types)

Part 7: Haskell - Thinking with types (Chapter 7: Existential Types)

Looking at the great book by Sandy Maguire “

[Haskell] Thinking With Types: Chapter 11 (Extensible Data)

[Haskell] Thinking With Types: Chapter 11 (Extensible Data)

In this video, I continue to work on

Haskell, Thinking with Types: Existential Types

Haskell, Thinking with Types: Existential Types

In this video, we explore Existential

Part 8: Haskell - Thinking with types (Chapter 7: Existential Types)

Part 8: Haskell - Thinking with types (Chapter 7: Existential Types)

Looking at the great book by Sandy Maguire “

Haskell, Thinking With Types: Chapter 8 Roles and Chapter 9 Associated Type Families

Haskell, Thinking With Types: Chapter 8 Roles and Chapter 9 Associated Type Families

In this video, I work through

[Haskell] Thinking with Types continue Chapter 14 Start Chapter 15

[Haskell] Thinking with Types continue Chapter 14 Start Chapter 15

In this video, I finish

Part 3: Haskell - Thinking with types (Chapter 3 - Variance)

Part 3: Haskell - Thinking with types (Chapter 3 - Variance)

Looking at the great book by Sandy Maguire “

[Haskell] Thinking with Types: Chapter 10 (First Class Families) and Chapter 11 (Extensible Data)

[Haskell] Thinking with Types: Chapter 10 (First Class Families) and Chapter 11 (Extensible Data)

In this video I finish up