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

[Alberto G. Corona]

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


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