Logic & Foundations with Haskell: Haskell 10 :: Folding over Lists

We discuss how the foldr and foldl patterns can be used for very compact implementations. All code can be found in the course git repository https://github.com/MariusFurter/MAT605-haskell-FS23 00:00 Introduction 00:10 foldr 03:30 maximum 08:43 and / or 11:52 sum / prod 13:50 length / elem / filter 23:29 reverse 27:22 foldl 29:34 efficient reverse The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z