26 Jan
2004
26 Jan
'04
12:38 a.m.
Alle 00:57, lunedì 26 gennaio 2004, Ben Rudiak-Gould ha scritto:
Here's a possible syntax. An expression like (123, ^x = "foo") would have the type (Integer, ^x :: String), which is like a tuple but with all but one of the elements having a name. An expression like
(123, ^x="foo") - (45, ^x="bar", ^y="baz")
would be converted by the compiler to
(123 - 45, ^x=("foo" `mappend` "bar"), ^y="baz")
It's unclear to me how would the compiler know that it's not (123 - 45, ^x=("bar" `mappend` "foo"), ^y="baz") This depends on order of evaluation or am I wrong? V. -- A: Top posting! Q: What is the most irritating thing on Usenet?