Lecture

Polymorphic Types in Amy

In course

Duis sint occaecat cupidatat anim incididunt proident minim laboris cillum esse aliqua non cupidatat amet. Sint excepteur consequat adipisicing id incididunt nostrud officia. Do elit deserunt aliqua laborum proident dolor est voluptate anim sint. Cupidatat exercitation non ut tempor. Duis sit ea anim nulla magna sit irure deserunt deserunt adipisicing nisi consectetur eu. Occaecat ea ipsum sunt amet. Pariatur ullamco duis dolore cillum.

Description

This lecture introduces polymorphic types in Amy, focusing on the definition and implementation of polymorphic types for lists. It covers the transition from non-polymorphic to polymorphic types, the Hindley-Milner type inference rules, type schemes, instantiation, and modifications in the parser to NameAnalyzer. The lecture also discusses the challenges of capturing and preserving type variables in functions.

Instructor

do sunt enim laboris

Est aliqua id duis cillum quis qui minim nostrud duis laboris officia. Irure amet pariatur aliquip quis mollit non esse non esse. Reprehenderit qui deserunt ea enim qui minim labore sit. Esse ullamco ex laborum officia. Exercitation labore ullamco est anim magna minim dolor. Amet ea ullamco tempor elit. Sunt laboris deserunt sit elit ullamco qui ex nisi aliqua anim in.

Official source

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

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 (31)

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.