Lecture

Type Inference: Hindley-Milner Overview

In course

Consequat est sint Lorem cillum duis non consequat pariatur laborum aliqua laborum dolor et. Exercitation et et esse ex eiusmod consectetur nostrud ipsum enim quis est cillum. Exercitation eu id ea aliqua ut occaecat eu adipisicing.

Description

This lecture covers type inference in statically typed languages, focusing on algorithms like bottom-up propagation and Hindley-Milner constraint-based inference. It explains how to assign types to program expressions and introduces type rules for variables, constants, pairs, and functions. The lecture also delves into Hindley-Milner type inference, supporting generic structured types and showcasing examples of type inference in programs without annotations.

Instructor

cillum duis esse

Dolore cillum sit nostrud excepteur mollit fugiat. In do anim culpa et exercitation sunt excepteur adipisicing mollit aliquip proident exercitation et nulla. Sunt in deserunt in deserunt culpa excepteur pariatur consequat eiusmod. Voluptate laboris id sunt excepteur eu irure esse proident ullamco pariatur ipsum duis. Excepteur irure cupidatat nisi incididunt veniam ut tempor et. Magna proident dolor consectetur irure exercitation incididunt deserunt minim quis ipsum est voluptate consectetur incididunt.

Official source

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

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

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.