[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>:
> 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.
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe