Re[2]: Announcing the new Haskell Prime process, and Haskell 2010

2009-07-08 Thread Bulat Ziganshin
Hello kahl, Thursday, July 9, 2009, 2:43:01 AM, you wrote: >> Haskell'10 > Some people expect Haskell and/or Haskell' > not to be around anymore in 2110? it would be Haskell"10 :) ability to accurately count apostrophes is one of the prerequisites to learn Haskell :D -- Best regards,

Re: Announcing the new Haskell Prime process, and Haskell 2010

2009-07-08 Thread kahl
Don Stewart wrote: > > Tom Lokhorst suggests[1] > > Haskell'10 > > [1] http://twitter.com/tomlokhorst/statuses/2539313506 How pessimistic. Some people expect Haskell and/or Haskell' not to be around anymore in 2110? Wolfram ___ Haske

Re[2]: Announcing the new Haskell Prime process, and Haskell 2010

2009-07-08 Thread Bulat Ziganshin
Hello Don, Thursday, July 9, 2009, 1:44:28 AM, you wrote: > Tom Lokhorst suggests[1] > > Haskell'10 now i understand - Haskell committee was just skipping those unbeautiful one-digit years :) -- Best regards, Bulatmailto:bulat.zigans...@gmail.com ___

Re: Announcing the new Haskell Prime process, and Haskell 2010

2009-07-08 Thread Don Stewart
marlowsd: > At last year's Haskell Symposium, it was announced that we would change > the Haskell Prime process to make it less monolithic. Since then, > everyone has been busy using Haskell (or implementing it), and we > haven't made much progress on the standardisation side of things. Wel

Re: [Haskell] Announcing the new Haskell Prime process, and Haskell 2010

2009-07-08 Thread Simon Marlow
On 07/07/2009 20:17, Simon Peyton-Jones wrote: | There are a couple sensible removals here. Do we also want to get rid | of the useless class contexts on data-declarations? (that look like | "data Ord a => Set a = Set ...") Yes! Yes! Kill them. (In GHC's source code these contexts are consist

Re: Announcing the new Haskell Prime process, and Haskell 2010

2009-07-08 Thread Simon Marlow
On 07/07/2009 16:40, Claus Reinke wrote: At last year's Haskell Symposium, it was announced that we would change the Haskell Prime process to make it less monolithic. .. In the coming weeks we'll be refining proposals in preparation for Haskell 2010. Given the incremental nature of the new stan

RE: [Haskell] Announcing the new Haskell Prime process, and Haskell 2010

2009-07-07 Thread Simon Peyton-Jones
| There are a couple sensible removals here. Do we also want to get rid | of the useless class contexts on data-declarations? (that look like | "data Ord a => Set a = Set ...") Yes! Yes! Kill them. (In GHC's source code these contexts are consistently called stupid_theta.) Simon ___

Re: [Haskell] Announcing the new Haskell Prime process, and Haskell 2010

2009-07-07 Thread Isaac Dupree
Isaac Dupree wrote: Simon Marlow wrote: Remove n+k patterns oh also -- anything like this that we remove should get a LANGUAGE flag to go along with it. I don't see NPlusKPatterns in Language.Haskell.Extension yet :-) -Isaac ___ Haskell-prime ma

Re: [Haskell] Announcing the new Haskell Prime process, and Haskell 2010

2009-07-07 Thread Isaac Dupree
Simon Marlow wrote: Remove n+k patterns remove FixityResolution from the context-free grammar There are a couple sensible removals here. Do we also want to get rid of the useless class contexts on data-declarations? (that look like "data Ord a => Set a = Set ...") -Isaac __

Re: Announcing the new Haskell Prime process, and Haskell 2010

2009-07-07 Thread Claus Reinke
At last year's Haskell Symposium, it was announced that we would change the Haskell Prime process to make it less monolithic. .. In the coming weeks we'll be refining proposals in preparation for Haskell 2010. Given the incremental nature of the new standards, would it be useful to switch bac

Re: Announcing the new Haskell Prime process, and Haskell 2010

2009-07-07 Thread Simon Marlow
On 07/07/2009 15:27, Bulat Ziganshin wrote: Tuesday, July 7, 2009, 6:04:46 PM, you wrote: i can't understand. does this list supposed to be full list of changes in haskell'? it seems to include mainly supplementary syntax changes while even Rank2Types are not here, the same for assoc. types, GAD

Re: Announcing the new Haskell Prime process, and Haskell 2010

2009-07-07 Thread Malcolm Wallace
i can't understand. does this list supposed to be full list of changes in haskell'? this is a provisional list of features that the Haskell' committee thinks would be feasible to include in a 2010 revision of the Haskell standard. And just to add, the new standardisation process means that t

Re: Announcing the new Haskell Prime process, and Haskell 2010

2009-07-07 Thread Ravi Nanavati
On Tue, Jul 7, 2009 at 10:27 AM, Bulat Ziganshin wrote: > Hello Simon, > > Tuesday, July 7, 2009, 6:04:46 PM, you wrote: > > i can't understand. does this list supposed to be full list of changes > in haskell'? it seems to include mainly supplementary syntax changes > while even Rank2Types are not

Re: Announcing the new Haskell Prime process, and Haskell 2010

2009-07-07 Thread Bulat Ziganshin
Hello Simon, Tuesday, July 7, 2009, 6:04:46 PM, you wrote: i can't understand. does this list supposed to be full list of changes in haskell'? it seems to include mainly supplementary syntax changes while even Rank2Types are not here, the same for assoc. types, GADTs and other fundamental type sy

Announcing the new Haskell Prime process, and Haskell 2010

2009-07-07 Thread Simon Marlow
At last year's Haskell Symposium, it was announced that we would change the Haskell Prime process to make it less monolithic. Since then, everyone has been busy using Haskell (or implementing it), and we haven't made much progress on the standardisation side of things. Well, with ICFP and the