Compile times and separate compilation

Random thought about compile times: could separate compilation be made even more fine-grained by taking it to the level of individual top-level identifiers, rather than modules? This would probably help slow recompiles a lot. Tom

s/slow/speed/ ? On 20 February 2016 at 09:56, Tom Ellis < tom-lists-haskell-cafe-2013@jaguarpaw.co.uk> wrote:
Random thought about compile times: could separate compilation be made even more fine-grained by taking it to the level of individual top-level identifiers, rather than modules? This would probably help slow recompiles a lot.
Tom _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

"Help *with* slow compiles (by speeding them up)" or "Help *speed up* slow complies" On Sat, Feb 20, 2016 at 10:04:05AM +0000, Colin Adams wrote:
s/slow/speed/ ?
On 20 February 2016 at 09:56, Tom Ellis < tom-lists-haskell-cafe-2013@jaguarpaw.co.uk> wrote:
Random thought about compile times: could separate compilation be made even more fine-grained by taking it to the level of individual top-level identifiers, rather than modules? This would probably help slow recompiles a lot.

In my experience at least, the time spent compiling value-level things is dwarfed by type-level computation and template haskell (e.g. creating lenses), which I wouldn't expect this would help. (My experience is backed up by a recent study on compile times of Haskell 98 code from old ghc versions to new -- for H98, compile times have stayed stable). If someone wants to work on this, though, I definitely wouldn't want to discourage them! It would still be helpful. Tom
El 20 feb 2016, a las 05:12, Tom Ellis
escribió: "Help *with* slow compiles (by speeding them up)" or "Help *speed up* slow complies"
On Sat, Feb 20, 2016 at 10:04:05AM +0000, Colin Adams wrote: s/slow/speed/ ?
On 20 February 2016 at 09:56, Tom Ellis < tom-lists-haskell-cafe-2013@jaguarpaw.co.uk> wrote:
Random thought about compile times: could separate compilation be made even more fine-grained by taking it to the level of individual top-level identifiers, rather than modules? This would probably help slow recompiles a lot.
Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

On 20.02.2016 10:56, Tom Ellis wrote:
Random thought about compile times: could separate compilation be made even more fine-grained by taking it to the level of individual top-level identifiers, rather than modules? This would probably help slow recompiles a lot.
Well, what about inlining? I presume you are using the -j switch. Try NVMe, if you haven't already. -- Wojtek
participants (4)
-
amindfv@gmail.com
-
Colin Adams
-
Tom Ellis
-
Wojtek Narczyński