Part 1: Haskell - Thinking With Types (chapter1: The Algebra Behind Types)

2021 1:53:44
Synopsis
Looking at the great book by Sandy Maguire “Thinking with types” taken from an original twitch stream which I do here: ...

You Might Also Like

Thinking with Types, Chapter 1, Cardinality, Isomorphisms, and the Curry-Howard Isomorphism. 2:51:01
Thinking With Types, Chapter 1, Cardinality, Isomorphisms, A...
2020
01-05 Pattern Matching (Introduction to Haskell) 34:59
01-05 Pattern Matching (introduction To Haskell)
2025
How to read Haskell code (in 7 minutes) 6:51
How To Read Haskell Code (in 7 Minutes)
2024
Haskell, Thinking with Types: Chapter 10 First Class Families 2:13:37
Haskell, Thinking With Types: Chapter 10 First Class Familie...
2020
Haskell 101 tutorial on Algebraic Datatypes - Haskell.SG 51:55
Haskell 101 Tutorial On Algebraic Datatypes - Haskell.sg
2016
F-algebras or: How I Learned to Stop Worrying and Love the Type System 34:18
F-algebras Or: How I Learned To Stop Worrying And Love The T...
2017
The Basics of the Haskell Typesystem (Types Part 1) 15:41
The Basics Of The Haskell Typesystem (types Part 1)
2023
Haskell Programming from First Principles by Christopher Allen and Julie Moronuki 1:29:44
Haskell Programming From First Principles By Christopher All...
2024
Haskell Tutorial 1:16:47
Haskell Tutorial
2016
LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg 1:20:21
Lambdaconf 2015 - A Practical Introduction To Haskell Gadts ...
2016
Haskell Programming Full Course 2024 2:39:08
Haskell Programming Full Course 2024
2025
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.