ViewTube

Recommended videos

Part6: Haskell - Thinking with Types (Ch6 Rank-N Types)

Part6: Haskell - Thinking with Types (Ch6 Rank-N Types)

391 views

3 years ago

Missing Semester

Lecture 6: Version Control (git) (2020)

Lecture 6: Version Control (git) (2020)

659,711 views

4 years ago

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

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

1,689 views

3 years ago

CppCon 2014: Mike Acton "Data-Oriented Design and C++"

CppCon 2014: Mike Acton "Data-Oriented Design and C++"

634,046 views

9 years ago

Show more

Part5: Haskell - Thinking with Types (Ch5-6 Constraints and GADTs / Rank-N Types)

275 views

2

0

Channel image

cmdv-tv

916 subscribers

Wed, 18 Nov 2020 00:00:00 GMT

Tags

thinking with types

haskell

type programming

intermediate haskell

advanced haskell

GADTs

GADT

Rank-N Types

RankNTypes

Looking at the great book by Sandy Maguire “Thinking with types” taken from an original twitch stream which I do here: https://www.twitch.tv/cmdvtv Please purchase the book here https://leanpub.com/thinking-with-types

0 Comments