Views

1997-05-06 Thread Philip Wadler
Warren writes: > In light of Simon's > proposal, the "(sic)" proposal should now be seen as a source of examples, > rather than a still viable proposal. As Simon notes, neither extended guards nor views subsumes the other. Views are as viable as they ever were. Roughly speaking, extended guards

Re: Type classes

1997-05-06 Thread F. Warren Burton
A couple of people have asked about: [2] W Burton, E Meijer, P Sansom, S Thompson, P Wadler, "A (sic) extension to Haskell 1.3 for views", sent to the Haskell mailing list 23 Oct 1996 I am enclosing a copy of the "(sic)" proposal below. In light of Simon's proposal, the "(sic)"

cfp: Mathematics of Program Construction '98

1997-05-06 Thread Johan Jeuring
MPC '98 Fourth International Conference on MATHEMATICS OF PROGRAM CONSTRUCTION --- http://www.md.chalmers.se/Conf/MPC98/ June 15 - 17, 1998 Mars

Re: A new view of guards

1997-05-06 Thread Ralf Hinze
Just wanted to add two minor points to the discussion. Beforehand let me say that I *really* like Simon's proposal [despite the various objections]. Mainly, because it's a small upwards compatible change with a considerable gain. Going back to Simon's first `clunky' example. > Now consider the f