On 2/9/06, S.J.Thompson <[EMAIL PROTECTED]> wrote:
> Jim - it's worth looking at the proposal for views, proposed by Warren
> Burton et al, accessible from
>
> http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/Views
Views have been getting a "no", and it seems like this is because of
On Thu, Feb 09, 2006 at 01:33:59AM -0500, Jim Apple wrote:
> Sometimes I'd like to use a smart constructor but have pattern
> matching as well. There has been talk elsewhere of allowing export of
> data constructors for /matching/ but not for /construction/:
Yes. this is a feature I have wanted to
Philippa Cowderoy <[EMAIL PROTECTED]> writes:
> Myself I'm of the view transformational patterns (as described in
> http://citeseer.ist.psu.edu/299277.html) are more interesting -
> I can't help wondering why they were never implemented?
Ah, so I wasn't first in implementing them in my language :
Views were implemented in hbc many, many years ago.
-- Lennart
Quoting Philippa Cowderoy <[EMAIL PROTECTED]>:
On Thu, 9 Feb 2006, S.J.Thompson wrote:
Jim - it's worth looking at the proposal for views, proposed by Warren
Burton et al, accessible from
http://haskell.galois.com/cgi-bin/h
Philippa Cowderoy wrote:
Myself I'm of the view transformational patterns (as described in
http://citeseer.ist.psu.edu/299277.html) are more interesting - I can't
help wondering why they were never implemented?
Maybe because of tricky semantics. I'm not quite sure what
case x of
(y,
On Thu, 9 Feb 2006, S.J.Thompson wrote:
>
> Jim - it's worth looking at the proposal for views, proposed by Warren
> Burton et al, accessible from
>
> http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/Views
>
Myself I'm of the view transformational patterns (as described in
htt
Jim - it's worth looking at the proposal for views, proposed by Warren
Burton et al, accessible from
http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/Views
regards
Simon T
On Thu, 9 Feb 2006, Jim Apple wrote:
> Sometimes I'd like to use a smart constructor but have pattern
Sometimes I'd like to use a smart constructor but have pattern
matching as well. There has been talk elsewhere of allowing export of
data constructors for /matching/ but not for /construction/:
module One-
data Picky a = Nil | One a
picky x = if some_complex_thing x then One x else