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

Alberto G. Corona agocorona at gmail.com
Mon Mar 17 11:50:24 UTC 2014

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:


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
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:


2013-04-27 22:14 GMT+02:00 Ozgur Akgun <ozgurakgun at gmail.com>:

> Hi,
> On 27 April 2013 10:07, Alberto G. Corona <agocorona at gmail.com> 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140317/2bea61e7/attachment.html>

More information about the Haskell-Cafe mailing list