Logic & Foundations with Haskell: Haskell 3 :: Types and Typeclasses

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