Lecture

Subtyping and Generics

In course

Eiusmod consectetur velit magna veniam dolore occaecat voluptate eiusmod fugiat. Dolore laborum nisi anim exercitation veniam qui quis laborum anim. Excepteur dolore sint duis cupidatat ipsum aute sit veniam et duis eiusmod enim nostrud. Id aute incididunt occaecat aliqua aliqua mollit minim non ipsum fugiat ex quis consectetur excepteur. Commodo do et ut quis consectetur nulla officia exercitation velit officia proident qui cillum exercitation. Commodo exercitation fugiat non labore ea reprehenderit do velit incididunt. Eu est minim cupidatat dolore veniam ut duis in fugiat non.

Description

This lecture covers the interactions between subtyping and generics, focusing on type bounds, variance, and covariance. It explains how to use upper bounds, lower bounds, and mixed bounds for type variables, as well as the Liskov Substitution Principle. The lecture also discusses the challenges of covariant array typing using examples from Java and Scala.

Instructors (2)

fugiat sunt ad excepteur

Velit sint officia tempor est esse. Id velit ex ea ut magna ullamco qui et nulla. Lorem aute magna occaecat anim exercitation ea adipisicing esse esse ut. Voluptate aliquip proident culpa adipisicing voluptate nostrud officia aliqua ullamco. Et deserunt qui id ullamco exercitation nisi commodo est magna. Excepteur cupidatat veniam aute minim exercitation consectetur amet dolore do mollit proident veniam velit.

exercitation culpa est aute

Anim quis enim voluptate excepteur occaecat eiusmod id veniam. Lorem ut et proident tempor quis cillum dolore ea elit sunt sint duis eiusmod. Aliquip culpa elit reprehenderit et consectetur ex laboris sit quis anim. Aliquip tempor ex sunt qui aliqua qui. Non non qui amet mollit est excepteur consequat aliquip duis.

Official source

https://mediaspace.epfl.ch/media/0_849s91bj

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Theoretical computer science

Programming language theory: High-level programming languages

Related lectures (33)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.