Preskoči na glavno vsebino

Tom Schrijvers: GADTs Meet their Match

Datum objave: 25. 5. 2015
Seminar za temelje matematike in teoretično računalništvo
Torek, 26. 5. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19

GADTs Meet their Match: Pattern-matching Warnings that Account for GADTs, Guards, and Laziness

Abstract: For ML and Haskell, accurate warnings when a function definition has redundant or missing patterns are mission critical. But today's compilers generate bogus warnings when the programmer uses guards (even simple ones), GADTs, pattern guards, or view patterns. We give the first algorithm that handles all these cases in a single, uniform framework, together with an implementation in GHC, and evidence of its utility in practice.

This is joint work with Georgios Karachalias, Dimitrios Vytiniotis, and Simon Peyton Jones.