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