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

User Experience for the Web
Open2Study
Intro to the Design of Everyday Things
Udacity
UX-Design for Business
Fraunhofer IESE via Independent
UX Design for Mobile Developers
Google via Udacity
SAP's UX Strategy in a Nutshell by Sam Yen
SAP Learning