Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
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.