"Simon Peyton-Jones" <[EMAIL PROTECTED]> writes:
> So far we have not been regarding 6.2 as ultra-urgent because we
> don't know of anyone who is really stuck with 6.0. Please let us
> know if you are in fact stuck.
I already mentioned that I really need large file support, and I'd add
that I ha
On Thu, 25 Sep 2003 12:59:37 -0700
Mark Tullsen <[EMAIL PROTECTED]> wrote:
> Haskell has lazy/lifted products and not true products.
Aren't lazy products true products? What makes something a product is:
fst (x,y) = x
snd (x,y) = y
for all x and y. This holds with lazy products but not eager
Hi,
> Haskell to me seems to be a great language with a syntax problem,
> and a bad case of too many ways to do the same thing; thus every
> programmer does things their own way and it's difficult to grasp
> the language by looking at examples.
int fact(int x){int t=1; while(x) t*=x--;}
int f
Haskell has lazy/lifted products and not true products. This "feature"
is considered by many to be an unfortunate aspect of Haskell. A 2-tuple
is just syntactic sugar for
data Tuple2 a b = Tuple2 a b
Maybe from seeing this, it's clearer why laws such as
x = (fst x,snd x)
do not hold. Neither
Hi,
> But I'm just writing this to let you guys know (surely you know this
> already) that anyone from a C/C++/Java/Delphi background is going to
> completely misunderstand the meaning of A.anything in Haskell... it's
> completely nonintuitive to people with my background.
Surely this is no wor
> >>A... should be split into "A.." and "."
> >I found a compromise: let's make it a lexing error! :-)
> At least that agrees with what some Haskell compilers implement. No
> current Haskell compiler/interpreter agrees with what the report seems
> to say, that is that "A..." should be lexed as the
Hello,
I am looking for a real world example of a type constructor, that expects
another type constructor as an argument in the context of subtyping,
e.g., one could define
--not Haskell98
data T a b c = F (a b c)
a::T (->) Pt Pt
a = F id
b::T (->) CPt CPt
b = F id
l = [a,b]
Thereby CPt is assumed
