Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Fri 28 Sep 2018 13:30 - 14:00 at Illinois Central - Session 6 Chair(s): Brent Yorgey

Occasionally, developers need to ensure that the compiler treats their code in a specific way that is only visible by \emph{inspecting} intermediate or final compilation artifacts. This is particularly common with carefully crafted compositional libraries, where certain usage patterns are expected to trigger an intricate sequence of compiler optimizations – stream fusion is a well-known example.

The developer of such a library has to manually inspect build artifacts and check for the expected properties. Because this is too tedious to do often, it will likely go unnoticed if the property is broken by a change to the library code, its dependencies or the compiler. The lack of automation has led to released versions of such libraries breaking their documented promises.

This indicates that there is an unrecognized need for a new testing paradigm, \emph{inspection testing}, where the programmer declaratively describes non-functional properties of an compilation artifact and the compiler checks these properties. We define inspection testing abstractly, implement it in the context of the Haskell Compiler GHC and show that it increases the quality of such libraries.

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00
Session 6Haskell at Illinois Central
Chair(s): Brent Yorgey Hendrix College
13:30
30m
Talk
A Promise Checked Is a Promise Kept: Inspection Testing
Haskell
Joachim Breitner DFINITY Foundation
DOI
14:00
30m
Talk
Branching Processes for QuickCheck Generators
Haskell
Agustín Mista Universidad Nacional de Rosario, Argentina, Alejandro Russo Chalmers University of Technology, Sweden, John Hughes Chalmers University of Technology, Sweden
DOI
14:30
30m
Talk
Coherent Explicit Dictionary Application for Haskell
Haskell
Thomas Winant KU Leuven, Belgium, Dominique Devriese Vrije Universiteit Brussel, Belgium
DOI File Attached