Hi, On 10/05/2018 01:20 PM, Mario Blažević wrote:
I hereby propose we formally disband the present Haskell 2020 committee. Our performance has been so dismal
It has. And I should apologise in particular: I've just had far less time than I thought over the past year for a variety of reasons.
that I feel this is the only course of action that gives Haskell 2020 any chance of fruition. A new committee could then be formed with some more dedicated membership.
I'm less convinced about that, though. I believe those who signed up for H2020 actually are people who believe in the value of an updated standard and has core expertise to make it happen. I can't see how giving up and forming a new group would speed things up or even increase the chance of success. Instead, what about focusing on identifying a couple of things that absolutely would have to be in H2020 to make a new standard worthwhile, like multi-parameter type classes, possibly GADTs, then figure out what else is needed to support that (like what Anthony Clayden sketched), and with that as a basis, find out exactly what technical problems, if any, are hindering progress? If this could be neatly summarized, then we'd actually be in a position to make some progress. /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.