Logic & Foundations with Haskell: Haskell 12 :: Typeclasses for Natural Numbers

We implement the typeclasses Ord, Enum, Num, Real and Integral for the natural numbers. This allows us to use all standard functions for these typeclasses on our natural number datatype. All code can be found in the course git repository github.com/MariusFurter/MAT605-haskell-FS23
00:00 Introduction
01:51 data Nat
02:38 foldn
04:56 Typeclass Ord
12:50 Typeclass Enum
20:47 Typeclass Num
30:13 Typeclasses Real and Integral
The playlist for the course can be found here: kzread.info/dash/bejne/Ynx9z7FmncjFo8o.html

Пікірлер

    Келесі