Let me urge everyone, once more, to conduct this interesting discussion on the haskell-prime mailing list. It's quite open --- anyone can subscribe --- and we'll avoid spamming the main Haskell list.
I'll send responses there. Simon | -----Original Message----- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Duncan Coutts | Sent: 24 January 2007 15:25 | To: Malcolm Wallace | Cc: [email protected] | Subject: Re: [Haskell] Views in Haskell | | On Wed, 2007-01-24 at 14:58 +0000, Malcolm Wallace wrote: | | > To add to the bikeshed discussion of syntax, did you consider and reject | > the obvious use of '<-' rather than '->', which would more closely match | > the pattern guard syntax? | | > Using the '<-' arrow does not seem to obscure | > this feature too much: | > parsePacket ((n, (val,bs) <- bits n) <- bits 3) = ... | > vs | > parsePacket (bits 3 -> (n, (bits n -> val bs))) = ... | | The main drawback to this is that we don't get the left to right binders | and uses. That is we use 'n' as a variable binder when we extract the 3 | bits and then use that later to decide how many bits to extract. With | the '<-' form the flow is all back and forth rather than left to right. ...etc... _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
