Typsystemen för de flesta maskinskrivna funktionella programmeringsspråken är baserade på Hindley-Milner-typsystemet. Ett praktiskt problem med dessa typsystem är att det ofta är svårt att förstå varför ett program inte är typkorrekt eller en funktion inte har den avsedda typen. Vi föreslår att kärnan i detta problem är svårigheten att förklara varför ett givet uttryck har en viss typ. Typsystemet definieras inte sammansättningsmässigt. Vi föreslår att förklara typer med hjälp av en variant av Hindley-Milner type system som definierar en kompositionell typ förklaring diagram av huvudtyper. Vi beskriver hur programmeraren förstår typer genom interaktiv navigering genom förklaringsgrafen. Dessutom kan förklaringsgrafen vara grunden för algoritmisk felsökning av typfel, det vill säga halvautomatisk lokalisering av källan till ett typfel utan att ens behöva förstå typfelstegen. Vi implementerade en prototyp av ett verktyg för att undersöka nyttan av de föreslagna metoderna.
Den kompositionstyp slutsats som används i vår typ felsökning är baserad på den som föreslagits av Chitil REF.
Compositional explanation of types and algorithmic debugging of type errors
{'venue': "ICFP '01", 'journal': None, 'mag_field_of_study': ['Computer Science']}