YoVDO

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Offered By: ACM SIGPLAN via YouTube

Tags

Type Inference Courses User Experience Courses Compiler Design Courses Static Analysis Courses Programming Language Design Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 20-minute conference talk from OOPSLA2 2023 that delves into improving type error messages for constraint-based type inference systems. Learn about a novel approach using subtyping constraints to capture data flow, which aims to classify and explain type errors in a more programmer-friendly manner. Discover how the proposed algorithm illustrates type errors as faulty data flows, presenting them as sequences of relevant program locations. Understand the application of these concepts to languages without subtyping, including their integration with Hindley-Milner type inference. Examine the results of a user study evaluating the effectiveness of flow-based messages compared to traditional implementations. Gain insights into the challenges of creating meaningful type error messages and the potential benefits of this data flow-oriented approach for improving programmer understanding and error localization.

Syllabus

[OOPSLA23] Getting into the Flow: Towards Better Type Error Messages for Constraint-Based ...


Taught by

ACM SIGPLAN

Related Courses

Compilers
Stanford University via edX
Build a Modern Computer from First Principles: Nand to Tetris Part II (project-centered course)
Hebrew University of Jerusalem via Coursera
Compiler Design
Indian Institute of Technology, Kharagpur via Swayam
Foundations to Computer Systems Design
Indian Institute of Technology Madras via Swayam
Compiler Design
YouTube