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
-
frictionfreedemocracy.o
Hi,
On 27 April 2013 10:07, Alberto G. Corona 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
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
>
> Maybe it is possible to do something In a google summer of code. Nothing
> as sophisticated as the Helium paper ("Scripting the Type Infe
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
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 t
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
_
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.
>
