[GHC] #9374: Investigate Static Argument Transformation

[GHC]

#9374: Investigate Static Argument Transformation
-------------------------------------+-------------------------------------
        Reporter:  jstolarek         |                Owner:  (none)
            Type:  task              |               Status:  new
        Priority:  lowest            |            Milestone:
       Component:  Compiler          |              Version:  7.9
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Runtime           |  Unknown/Multiple
  performance bug                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 Good!  Can you give specifics about "lots of cases"?  It is good for
 optimisations to be informed by concrete use-cases.

 See [https://www.microsoft.com/en-us/research/publication/compilation-
 transformation-non-strict-functional-languages/ Andre Sansos's thesis]
 which has a whole chapter.

 Also [http://ojs.statsbiblioteket.dk/index.php/brics/article/view/18785
 Danvy's lambda-dropping paper]

 Keep me posted!

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9374#comment:17>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler