Lambda Lifting and Haskell

Hello everyone, Do what degree are the different dialects of Haskell being lambda lifted? Are there any performance studies? Any pointers to the literature will be welcomed. Best wishes, Marco ___ Glasgow-haskell-users mailing list Glasgow-haskell-user

Performance week 25/6-29/6

Hi, I must start by saying, that I don't have any knowledge about ghc internals. Performance of haskell programs seems to me heavily depended on the data structures of a simple linked lists. Because of the amount of cons-cells, simple linked lists aren't very GC-friendly. There is a paper ab

ghc-6.4.1-july-12 test is all right

I wrote today on testing of ghc-6.4.1-July-12-2005 > 3. Memory test with loading to ghci the whole DoCon test > (DoCon compiled with -O, tests compiled with -Onot) > and performing it: > 6.4.1-July-12 needs the minimum of 18 Mb, > 6.4, 6.4.1-June-14 need 10 Mb.

testing 6.4.1-July-12

This is on Simon Marlow's recent requests for the ghc-6.4.1-pre testing and benchmarking. I have installed ghc-6.4.1-July-12-2005 on Linux Debian by making it with ghc-6.4.1-June-14. 1. A simple test with list sorting and such, shows almost the same result as in ghc-6.4 and as in

RE: GADTs and pedagogy was Re: GADTs and fundeps

| > You mean, if the data type being defined doesn't actually use the | > generality of GADTs, allow GADT syntax, and deriving() too? | | Yes, that would be very nice for the HaskellDemo and new users. | I'd definitely switch all of my non-GADT datatypes to use that. I finally got around to doing

RE: GHC 6.4.1 for Solaris

On 20 July 2005 16:31, herington, dean wrote: > I'm trying to deploy GHC 6.4.1 on a Solaris 5.9 machine. I installed > the binary release (in-place) from > > http://www.haskell.org/ghc/dist/stable/dist/ghc-6.4.1-sparc-su

Functional Dependencies

Hello everybody! I wanted to have some fun with functional dependencies (see http://www.cs.chalmers.se/~hallgren/Papers/wm01.html), and tried some examples from this paper as well as some own experiments. The idea is to use the type checker for computations by "abuse" of type classes with funct