This lecture introduces the concept of polymorphism in programming, where functions can be applied to arguments of many types. It covers the implementation of immutable linked lists in Scala using Cons-Lists, type parameters, generic functions, and type inference.