24 Apr
2013
24 Apr
'13
12:37 a.m.
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