An informal guide to better compiler errors
https://github.com/jaspervdj/talks/blob/master/2017-skillsmatter-errors/slides.md #Haskell
@amiloradovsky @typochon ah, I should have read the post before. I thought about providing custom type errors in recent GHC.
@amiloradovsky
Hmm, rather DSL than eDSL in fact, to (hope to) get better error reporting :D
Though, recent #GHC get better at error reporting on eDSL: https://downloads.haskell.org/~ghc/8.0.1/docs/html/users_guide/glasgow_exts.html#custom-compile-time-errors
On a more theoretical-side note, I've studied #BastiaanHeeren's thesis: « Top Quality Type Error Messages » which is used by the #helium #Haskell compiler.
I've played around with it in https://hackage.haskell.org/package/lol-typing
But my DSL only does #TypeChecking so far, no #TypeInferencing yet: https://hackage.haskell.org/package/symantic
@amiloradovsky @typochon yep, this too, for eDSLs.