2026-07-22T07:15:42Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10545 2024-03-06T10:46:46Z ddc:004 open_access

Blame Tracking and Type Error Debugging Chen, Sheng Campora III, John Peter Blame tracking type error debugging gradual typing type inference In this work, we present an unexpected connection between gradual typing and type error debugging. Namely, we illustrate that gradual typing provides a natural way to defer type errors in statically ill-typed programs, providing more feedback than traditional approaches to deferring type errors. When evaluating expressions that lead to runtime type errors, the usefulness of the feedback depends on blame tracking, the defacto approach to locating the cause of such runtime type errors. Unfortunately, blame tracking suffers from the bias problem for type error localization in languages with type inference. We illustrate and formalize the bias problem for blame tracking, present ideas for adapting existing type error debugging techniques to combat this bias, and outline further challenges. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Sheng Chen and John Peter Campora III 2019 Is Part Of LIPIcs, Volume 136, 3rd Summit on Advances in Programming Languages (SNAPL 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.SNAPL.2019.2 urn:nbn:de:0030-drops-105451 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2019.2 eng https://creativecommons.org/licenses/by/3.0/legalcode