Kinds Vs. Types In The Haskell Type System

2026 4:19
Synopsis
A look at kinds, the "type of a type", and how you can ask GHCi to interrogate your code to find it. This video is a clip from a longer ...

You Might Also Like

Kinds vs. Types in the Haskell Type System 4:19
Kinds Vs. Types In The Haskell Type System
2026
The Basics of the Haskell Typesystem (Types Part 1) 15:41
The Basics Of The Haskell Typesystem (types Part 1)
2023
@rae: An introduction to Haskell's kinds 17:04
@rae: An Introduction To Haskell's Kinds
2022
Making sense of the Haskell type system by Ryan Lemmer at FnConf17 48:34
Making Sense Of The Haskell Type System By Ryan Lemmer At Fn...
2018
Andy Lowry - Types In Haskell 9:46
Andy Lowry - Types In Haskell
2015
Kinds in Haskell (Types Part 2) 16:06
Kinds In Haskell (types Part 2)
2023
Haskell for Imperative Programmers #13 - Typeclasses 7:27
Haskell For Imperative Programmers #13 - Typeclasses
2020
DevICT - Intro to Haskell: Type Basics 20:19
Devict - Intro To Haskell: Type Basics
2015
@rae: Getting a little fancy with Haskell's kinds 17:44
@rae: Getting A Little Fancy With Haskell's Kinds
2022
Haskell Very Basic Introduction to types Part 1 of 4. 14:18
Haskell Very Basic Introduction To Types Part 1 Of 4.
2016
Types and Testing in Haskell 42:27
Types And Testing In Haskell
2015
Learning Haskell part 3 | class Types | Algebraic Data Types | Type systems | Exercises and Reading 2:08:35
Learning Haskell Part 3 | Class Types | Algebraic Data Types...
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.