[Haskell-cafe] Haskell compilation errors break the complexity encapsulation on DSLs

Stephen Tetley stephen.tetley at gmail.com
Tue Apr 23 18:37:41 CEST 2013

Helium - Utrecht University's simplified Haskell - had scriptable
"Type inference directives" so the creator of an EDSL was able to
augment the type checker to provide better error messages, see:

Scripting the Type Inference Process
Bastiaan Heeren Jurriaan Hage S. Doaitse Swierstra

More information about the Haskell-Cafe mailing list