Simon L Peyton Jones wrote:
That's just what I intend to do. I don't see Std Haskell as a big
deal, but even little deals are worth completing rather than
leaving as loose ends... and I'm more optimistic than Paul about
the usefulness of Std Haskell. I would be happy to find a name
that
suppressed by the use of a wildcard pattern such as `_'.)
So, sing ho for regression tests, but sing louder for static analysis ;-)
Hear, hear!
Merry Xmas, etc.,
David Bruce
post: DERA Malvern, St Andrews Road, Malvern, WORCS WR14 3PS, ENGLAND
mailto:[EMAIL PROTECTED] ** phone: +44 1684
I can't yet justify rigorously :-()
that the side-effect-or-not and RAM-or-PM issues are related.
David Bruce
post: DRA Malvern, St Andrews Road, Malvern, Worcestershire WR14 3PS, ENGLAND
email: [EMAIL PROTECTED] (internet) [EMAIL PROTECTED] (janet)
phone: +44 684 895112 ** fax: +44 6
RFC-822-HEADERS:
Original-Via: uk.ac.ucl.cs.ess; Fri, 7 Feb 92 09:55:08 GMT
==
I am not sure what the two versions of the first law imply. I would, however,
note that the two conditions are incomparable (ie. neither implies the other).
Perhaps someone can explain?
David