On the GSOC ideas page for haskell.org is haskell-type-exts[1], which—as the name may suggest :)—is a proposal for a typechecker for haskell-src-exts. It doesn't seem to have got much attention, having only a single comment from two years ago, and I haven't seen anyone talking about it here or elsewhere. I guess this is still something that would be useful, so unless anyone has a reason why not, I'd like to apply to do it. I'll probably start working on the application later today unless some objections surface :) (Is Niklas Broberg subscribed to this list? If so: would you still be willing to mentor this project?) [1] https://ghc.haskell.org/trac/summer-of-code/ticket/1620
This is actually very interesting project, IMO. I'll be applying to
another idea( https://ghc.haskell.org/trac/summer-of-code/ticket/1608
) but I'll keep an eye on this project too, just to see how it's
going. I hope your proposal gets accepted and you finish this before
the deadline :-)
---
Ömer Sinan Ağacan
http://osa1.net
2014-03-10 18:16 GMT+02:00 Andy Morris
On the GSOC ideas page for haskell.org is haskell-type-exts[1], which--as the name may suggest :)--is a proposal for a typechecker for haskell-src-exts.
It doesn't seem to have got much attention, having only a single comment from two years ago, and I haven't seen anyone talking about it here or elsewhere. I guess this is still something that would be useful, so unless anyone has a reason why not, I'd like to apply to do it. I'll probably start working on the application later today unless some objections surface :)
(Is Niklas Broberg subscribed to this list? If so: would you still be willing to mentor this project?)
[1] https://ghc.haskell.org/trac/summer-of-code/ticket/1620 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
* Andy Morris
On the GSOC ideas page for haskell.org is haskell-type-exts[1], which—as the name may suggest :)—is a proposal for a typechecker for haskell-src-exts.
It doesn't seem to have got much attention, having only a single comment from two years ago, and I haven't seen anyone talking about it here or elsewhere. I guess this is still something that would be useful, so unless anyone has a reason why not, I'd like to apply to do it. I'll probably start working on the application later today unless some objections surface :)
(Is Niklas Broberg subscribed to this list? If so: would you still be willing to mentor this project?)
It was already accepted for GSoC (and worked on) a couple of years ago. Sadly, it hasn't got much attention since then. http://cleantypecheck.wordpress.com/ Roman
participants (3)
-
Andy Morris -
Roman Cheplyaka -
Ömer Sinan Ağacan