Imperial College London
Alternate

Emeritus ProfessorSusanEisenbach

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing
 
 
 
//

Contact

 

s.eisenbach Website

 
 
//

Location

 

Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@techreport{Sackman:2008,
author = {Sackman, M and Eisenbach, S},
publisher = {Department of Computing, Imperial College},
title = {Errors for the Common Man: Hiding the unintelligable in Haskell},
url = {http://hdl.handle.net/10044/1/5810},
year = {2008}
}
Download

RIS format (EndNote, RefMan)

TY  - RPRT
AB  - If a library designer takes full advantage of HaskellÆs rich type system and type-level programming capabilities, then the resulting library will frequently inflict huge and unhelpful error messages on the library user. These error messages are typically in terms of the library and do not refer to the call-site of the library by the library user, nor provide any guidance to the user as to how to fix the error. \r\n\r\nThe increasing appetite for programmable type-level computation makes this a critical issue, as the advantages and capabilities of type-level computation are nullified if useful error messages cannot be returned to the user. \r\n\r\nWe present a novel technique that neatly side-steps the default error messages and allows the library programmer to control the generation of error messages that are statically returned to the user. Thus with this technique, there is no longer any drawback to using the full power of HaskellÆs type system. \r\n\r\n
AU  - Sackman,M
AU  - Eisenbach,S
PB  - Department of Computing, Imperial College
PY  - 2008///
TI  - Errors for the Common Man: Hiding the unintelligable in Haskell
UR  - http://hdl.handle.net/10044/1/5810
ER  -
Download