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@haskell.org> On Behalf Of Peter Podlovics
Sent: 13 May 2018 16:18
To: ghc-devs@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