[Haskell] Views in Haskell

[Iavor Diatchki]

Hello,
Is this really a good idea?  This seems a lot more relevant to the
Haskell mailing list then haskell-prime (at least to me)---it is a
language extension that is not implemented, there are a number of
different ways to implement it, and we have no significant experience
using it.  As such, it seems that it is not relevant to haskell-prime,
at least in my understanding of the goals of Haskell'.  On the other
hand, the proposal would probably benefit from the input of the wider
audience of the Haskell mailing list, after all, this is an extension
to Haskell.  Despite the fact that haskell-prime is an open mailing
list, there are a number of people who are not subscribed to it
because they are not interested in the standardization effort.
-Iavor

On 1/24/07, Simon Peyton-Jones <simonpj at microsoft.com> wrote:
> 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: haskell-bounces at haskell.org [mailto:haskell-bounces at haskell.org] On Behalf Of Duncan Coutts
> | Sent: 24 January 2007 15:25
> | To: Malcolm Wallace
> | Cc: haskell at haskell.org
> | 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
> Haskell at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>