[Haskell] Re: Views in Haskell

2007-01-24 Thread apfelmus
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

Re: [Haskell] Views in Haskell

2007-01-24 Thread Malcolm Wallace
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).

Re: [Haskell] Views in Haskell

2007-01-24 Thread Duncan Coutts
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

Re: [Haskell] Views in Haskell

2007-01-24 Thread Simon Marlow
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

Re: [Haskell] Views in Haskell

2007-01-24 Thread Malcolm Wallace
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

RE: [Haskell] Views in Haskell

2007-01-24 Thread Simon Peyton-Jones
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

Re: [Haskell] Views in Haskell

2007-01-24 Thread 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, i

RE: [Haskell] Views in Haskell

2007-01-24 Thread Simon Peyton-Jones
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

[Haskell] IFM2007 Final call for contributions

2007-01-24 Thread Jeremy . Gibbons
-- IFM 2007 Sixth International Conference on Integrated Formal Methods 2nd - 6th July 2007, Oxford, UK http://www.ifm2007.org