Subtyping and Generics in Scala

Related lectures (31)

Page 1 of 4

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.

Covers subtyping, generics, variance, type bounds, covariance, contravariance, and combinatorial search.

Covers the basics of functions in Python, including their definition, purpose, and usage.

Covers the concept of polymorphism in programming and the implementation of immutable linked lists in Scala.

Explores subtyping, generics, type bounds, variance, covariance, and array typing challenges in Java and Scala.

Explores subtyping, generics, variance, and covariance in Scala, along with collections, arrays, and combinatorial search.

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Explores the significance of types in programming and discusses unsound type systems and inductively defined relations.

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.