[Haskell-cafe] Follow up on type error diagnosis for DSLs in Haskell

[Alberto G. Corona]

Jurriaan:


That is very good news for the people that create DSLs for industry, for
haskell teaching and in general for the Haskell comunity.

For a context, I add here the ticket

http://hackage.haskell.org/trac/ghc/ticket/7870

and the discussion:

https://groups.google.com/forum/?fromgroups#!topic/haskell-cafe/PrPtjw5GsHI

Thanks

Alberto


2013/5/5 Jurriaan Hage <J.Hage at uu.nl>

> Dear all (and in particular Alberto G. Corona and Stephen Tetley),
>
> First of all, thanks Stephen for pointing out our work to Alberto.
>
> Second, you may be interested to know that I just (as in two weeks ago)
> obtained a
> grant to hire a PhD student to scale the work of the ICFP '03 paper (as
> mentioned by
> Stephen) up to Haskell 2011 (or whatever variant will be appropriate). The
> plan is to
> first prototype this work in the UHC compiler, and, if succesful, build it
> into the GHC.
>
> I shall surely send out a job vancancy on some of the Haskell mailing
> lists.
>
> best,
> Jurriaan Hage
>
>


-- 
Alberto.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130506/24a3a3c3/attachment.htm>