[Haskell-cafe] Haskell compilation errors break the complexity encapsulation on DSLs
Alberto G. Corona
agocorona at gmail.com
Sat Apr 27 11:07:14 CEST 2013
I created a ticket for the feature request:
Teachers, newbies and people working in Industry: Please push it!
2013/4/24 Alberto G. Corona <agocorona at gmail.com>
> Maybe it is possible to do something In a google summer of code. Nothing
> as sophisticated as the Helium paper ("Scripting the Type Inference
> Process", but maybe a partial implementation of the techniques mentioned,
> so that the development can be enhanced in the future.
> Maybe some kind of library that permits postprocessing of GHC errors
> and/or the identification of points in the current type checker where some
> kind of rules can be defined by the programmer can be the first step.
> 2013/4/23 Brent Yorgey <byorgey at seas.upenn.edu>
>> On Tue, Apr 23, 2013 at 12:49:59PM +0200, Alberto G. Corona wrote:
>> > Hi
>> > I ever was worried about the barrier that the complexity of the Haskell
>> > errors impose to users of DSLs. Many DSLs look so simple that even
>> > without knowledge of Haskell can make use of them for some domains.
>> > However when the program is compiled then al the monsters of the
>> > deep appear in the surface: polymorphisms, undefined instances, type
>> > reported in a line produced by a type assumption in another, etc. This
>> > a problem for an industrial use of Haskell in the large scale. For
>> > reasons.
>> Indeed. For example, in my experience this is a big problem for diagrams.
>> > The question: Is it possible to develop a GHC extension that attach (or
>> > prepend) such an explanation to the ghc error?
>> > Or any other alternative that carry out the same functionality.
>> Surely it is possible. I have wanted this too. I guess the majority
>> of the work would just be in coming up with a good, general design
>> which is useful but not too difficult to implement. If anyone wanted
>> to undertake such a project I would be happy to contribute some ideas.
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe