I hope that the GHC people will give to this a high priority. Specially for
the people of FP Complete for which this should be a first target.
I know that Simon Peyton Jones gave up in avoid success at all costs and
not it invest in the industry. Isn't?
Alberto
-
I created a ticket for the feature request:
Ticket #7870
Teachers, newbies and people working in Industry: Please push it!
2013/4/24 Alberto G. Corona agocor...@gmail.com
Maybe it is possible to do something In a google summer of code. Nothing
as sophisticated as the Helium paper
Hi,
On 27 April 2013 10:07, Alberto G. Corona agocor...@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.
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
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 someone
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
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 someone
without knowledge of Haskell can make use of them for some domains.
Helium - Utrecht University's simplified Haskell - had scriptable
Type inference directives so the creator of an EDSL was able to
augment the type checker to provide better error messages, see:
Scripting the Type Inference Process
Bastiaan Heeren Jurriaan Hage S. Doaitse Swierstra
Stephen
The paper is very interesting. We need something like that:
... As a result, the beginning programmer is likely to be discouraged from
pro-gramming in a functional language, and may see the rejection of
programs as a nuisance instead of a blessing. The experienced user might
not look at