RE: strict bits of datatypes

2007-03-20 Thread Bernie Pope
Malcolm wrote: > The Haskell Report's definition of `seq` does _not_ imply an order of > evaluation. Rather, it is a strictness annotation. That is an important point. > Now, in the definition > x = x `seq` foo > one can also make the argument that, if the value of x (on the lhs of > the

Re: Teaching

2006-11-29 Thread Bernie Pope
On 30/11/2006, at 3:36 PM, Ashley Yakeley wrote: Malcolm Wallace wrote: Unfortunately, I suspect that teaching is _the_ major use-case for defaulting. Imagine, day one, lesson one, a student types Prelude> 1+2 into Hugs, and gets the response Unresolved overloading: Num a Huh? This i

Re: defaults

2006-11-29 Thread Bernie Pope
On 30/11/2006, at 5:08 AM, Malcolm Wallace wrote: Bernie Pope <[EMAIL PROTECTED]> wrote: I don't see a proposal to remove defaulting defaulting altogether on that page - has that been discussed already? Defaulting is one wart I would be glad to be rid of. I would also be happ

Re: defaults

2006-11-27 Thread Bernie Pope
On 28/11/2006, at 11:28 AM, Ian Lynagh wrote: On Mon, Nov 20, 2006 at 12:05:46PM +, Malcolm Wallace wrote: Prompted by recent discussion on the Hat mailing list about the problems of type-defaulting, I have added two new proposals for this issue to the Haskell-prime wiki at: http: