Polymorphism and Proofs

This lecture covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, proving program properties, higher-order list functions, subtyping, generics, type parameters, generic functions, type inference, and exercises with generics. It also delves into Scala lists, constructors of lists, right associativity, operations on lists, decomposing lists using patterns, sorting lists, insertion sort, merge sort, tuples, and generic methods. The lecture emphasizes the importance of structural induction, referential transparency, laws of concatenation, and reduction of lists using functions like map, filter, reduceLeft, foldLeft, reduceRight, and foldRight.