Simon Peyton-Jones wrote:
>
> http://hackage.haskell.org/trac/haskell-prime/wiki/ViewPatterns
>
> I'm thinking of implementing it in GHC, so I'd be interested in
> feedback of the form
> - how desirable is it to have a feature of this general form?
> - can this particular proposal b
Simon Peyton-Jones <[EMAIL PROTECTED]> wrote:
> I have finally written up a proposal for adding
> "view patterns" to Haskell.
> http://hackage.haskell.org/trac/haskell-prime/wiki/ViewPatterns
I have taken the liberty of correcting a couple of mistakes in your
example code (on the wiki).
On Wed, 2007-01-24 at 14:58 +, 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 featur
Malcolm Wallace wrote:
Simon Peyton-Jones <[EMAIL PROTECTED]> wrote:
I have finally written up a proposal for adding
"view patterns" to Haskell.
http://hackage.haskell.org/trac/haskell-prime/wiki/ViewPatterns
I have taken the liberty of correcting a couple of mistakes in your
example
Duncan Coutts <[EMAIL PROTECTED]> wrote:
> > 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
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] [mailt
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, i
I don't mind whether discussion is on Haskell-prime or on Haskell-cafe (I read
both). But I don't think it should be on the main Haskell mailing list, which
is advertised as relatively low-bandwidth. It's an excellent place to start
discussions but if we carried them all though there, a bunch
--
IFM 2007
Sixth International Conference on Integrated Formal Methods
2nd - 6th July 2007, Oxford, UK
http://www.ifm2007.org