Subject: RE: GHC *is* resource hungry - msg#00064

I'm not sure it's the type inference so much as the type abstractions
and applications. But yes, your point is a good one

S

| -----Original Message-----
| From: glasgow-haskell-bugs-admin@xxxxxxxxxxx
[mailto:glasgow-haskell-bugs-admin@xxxxxxxxxxx] On
| Behalf Of Simon Marlow
| Sent: 28 May 2003 18:03
| To: Simon Peyton-Jones; Ralf Hinze
| Cc: GHC bugs
| Subject: RE: GHC *is* resource hungry
|
| As far as I know, Hugs doesn't hash-cons types, yet it manages to
| typecheck these pathalogical examples in reasonable time/space. I
| vaguely recall there being a specific modification to Hugs's
typechecker
| to handle this, but I can't remember what it was.
|
| Cheers,
| Simon
|
| > -----Original Message-----
| > From: glasgow-haskell-bugs-admin@xxxxxxxxxxx
| > [mailto:glasgow-haskell-bugs-admin@xxxxxxxxxxx] On Behalf Of
| > Simon Peyton-Jones
| > Sent: 28 May 2003 15:57
| > To: Ralf Hinze
| > Cc: GHC bugs
| > Subject: RE: GHC *is* resource hungry
| >
| > I bet it's massive types. Translate the program into system
| > F and see.
| > (I remember this came up when looking at Okasaki's sequences of code
| > combinators.)
| >
| > GHC doesn't try to hash-cons types, because it usually doesn't
matter,
| > but I bet it does here.
| >
| > S
| >
| > | -----Original Message-----
| > | From: glasgow-haskell-bugs-admin@xxxxxxxxxxx
| > [mailto:glasgow-haskell-bugs-admin@xxxxxxxxxxx] On
| > | Behalf Of Ralf Hinze
| > | Sent: 28 May 2003 15:32
| > | To: glasgow-haskell-bugs@xxxxxxxxxxx
| > | Subject: GHC *is* resource hungry
| > |
| > | Here is a harmless little program (no recursion, no data types)
| > | which GHC doesn't manage to compile (well, the kernel kills GHC
| > | after a while on a machine with generous 512MB of main memory
| > | and 1GB of swap space).
| > |
| > | > begin next = next id
| > | > leaf k i next = next (k i)
| > | > fork k next = next (\ t u -> k (t + u))
| > | > end x = x
| > | > main = print (begin fork fork fork fork fork fork fork fork fork
| > fork leaf 0 leaf 0 leaf 0 leaf 0 leaf 0
| > | leaf 0 leaf 0 leaf 0 leaf 0 leaf 0 leaf 0 end)
| > |
| > | Both Hugs and nhc98 accept it almost immediately.
| > |
| > | Cheers, Ralf
| > |
| > | _______________________________________________
| > | Glasgow-haskell-bugs mailing list
| > | Glasgow-haskell-bugs@xxxxxxxxxxx
| > | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
| >
| >
| > _______________________________________________
| > Glasgow-haskell-bugs mailing list
| > Glasgow-haskell-bugs@xxxxxxxxxxx
| > http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
| >
| >
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs@xxxxxxxxxxx
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs