Potential improvements for CSE, strictness analyzer, let-floating

[Simon Peyton Jones]

I’ve always thought that so-called “late lambda lifting” is not-very-well-explored candidate for pref improvement.  Nick Frisby did some preliminary work, but it would (I believe) reward some careful attention.

https://ghc.haskell.org/trac/ghc/wiki/LateLamLift

Simon

From: ghc-devs <ghc-devs-bounces at haskell.org> On Behalf Of Peter Podlovics
Sent: 13 May 2018 16:18
To: ghc-devs at haskell.org
Subject: Potential improvements for CSE, strictness analyzer, let-floating

Hi all,

During the summer, as a university project, I would like to make some contributions to GHC. There are three topics in particular that piqued my interest: common subexpression elimination, strictness analysis, and let-floating.

I would like to ask you whether there is any room for improvement in these parts of the compiler. Could you give me some pointers?

Thanks in advance,
Peter
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180521/8f36333b/attachment.html>