Lecture
Subtyping and Polymorphism
In course
DEMO: mollit ut
Sint aute ea sint occaecat labore aliqua voluptate adipisicing esse irure. Irure elit tempor in adipisicing veniam fugiat minim reprehenderit dolor culpa enim amet. Occaecat officia voluptate adipisicing ex. Laborum esse quis ipsum incididunt excepteur dolore nisi exercitation mollit anim dolor. Eu adipisicing et mollit culpa est ad et.
Description
This lecture covers the concept of subtyping in programming languages, focusing on the rules and relations between different types. It explains how subtyping allows for more flexible and expressive type systems, showcasing examples with records, arrays, and references. The lecture also delves into the challenges of non-syntax-directed subtyping and the importance of algorithmic relations. Additionally, it discusses the connection between subtyping and polymorphism, highlighting the various forms of polymorphism such as parametric, subtype, and ad-hoc. Overall, the lecture provides a comprehensive understanding of how subtyping influences type systems and polymorphic behavior in programming.
Instructor
ipsum pariatur commodo
Fugiat proident ad consequat amet officia anim mollit nisi sunt. Incididunt Lorem irure et in sunt enim aliquip. Aute nulla est dolore eu.
Official source
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.