[Haskell-cafe] GSOC and "scripting the inference process" .Was: Re: Haskell compilation errors break the complexity encapsulation on DSLs

Now that GSOC comes again, I call you into attention one of the biggest problems that Haskell has to solve before being fully accepted in the IT industry: The (unnecessary) complexity of the DSL error messages. There is some work being done: http://dl.acm.org/citation.cfm?id=944707 The idea was to implement it in GHC after refining and testing it if I remember well. If some of this work can be carried out in a GSOC project, IMHO it should be given priority. In case that this work is not going to be available in the short-medium term, there is a ticket with some suggestions that can be carried out in a GSOC project, just in case any of you are interested into mentoring/carrying out this or any other solution to overcome this problem: http://hackage.haskell.org/trac/ghc/ticket/7870 2013-04-27 22:14 GMT+02:00 Ozgur Akgun :

Hi,

On 27 April 2013 10:07, Alberto G. Corona wrote:

...

I created a ticket for the feature request:

Ticket #7870

Teachers, newbies and people working in Industry: Please push it!

A link to the ticket may be helpful for the lazy.

http://hackage.haskell.org/trac/ghc/ticket/7870

I quite like this idea, and I think this is one thing people use TH for now instead. (Using quasi-quotes, you can produce any compilation error you like...) It would be great if we didn't have to pull in the full power of TH (or QQ) for this.

Cheers, Ozgur

-- Alberto.