| I'm curious about the new demand analyser. Is there a wiki page/paper
| describing what it's trying to achieve?

Not yet.  Ilya, starting a GHC wiki page might be a good thing to do.
Some stuff here: 
http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Demand

Short summary:

* I'm about to commit a big patch that Ilya has developed.  Mainly it separates 
strictness from absence analysis more orthogonally, and is simpler and more 
solid. Nothing truly fundamental, but a thorough house-cleaning.

This is a basis for upcoming:

* Improve demand analysis: #6070, #5949, #5775, #4267, #5302, #6087

* Cardinality analysis, which checks how *often* something is used.  Branch = 
"cardinality".  Ilya is working on that.  Trac #7520

* Single-constructor CPR: Branch = "cpr-sum-types".  Trac #5075, 3138

* Nested CPR: #2289, #2387, #1600

lots of fun

Simon


| -----Original Message-----
| From: [email protected] [mailto:[email protected]]
| On Behalf Of Johan Tibell
| Sent: 16 January 2013 17:53
| To: [email protected]
| Subject: New demand analysis
| 
| Hi,
| 
| I'm curious about the new demand analyser. Is there a wiki page/paper
| describing what it's trying to achieve?
| 
| Cheers,
| Johan
| 
| _______________________________________________
| ghc-devs mailing list
| [email protected]
| http://www.haskell.org/mailman/listinfo/ghc-devs

_______________________________________________
ghc-devs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-devs

Reply via email to