Logic & Foundations with Haskell: Haskell 3 :: Types and Typeclasses
Channel: Marius Furter
Date: 2023-03-06

We cover types, type variables, and typeclasses in Haskell. This video follows chapter 3 of "Learn you a Haskell for great good" (http://learnyouahaskell.com/types-and-typeclasses). All code can be found in the course git repository https://github.com/MariusFurter/MAT605-haskell-FS23

00:00 Introduction to Haskell's type system
03:02 Checking types of expressions
05:17 Declaring types of functions
14:25 Some basic types
18:02 Type variables
22:30 Typeclasses
29:52 The fromIntegral function

The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z