Performance/Modules: Difference between revisions
DuncanCoutts (talk | contribs) mNo edit summary |
m ("Hall-In-One" link dead) |
||
| (4 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
{{Performance infobox}} | {{Performance infobox}} | ||
[[Category:Performance|Modules]] | |||
[[Category:Pages with broken file links]] | |||
== Use an explicit export list == | == Use an explicit export list == | ||
If you do not have an explicit export list in a module, the compiler must assume that everything in that module will be exported. This disables various useful optimisations: | If you do not have an explicit export list in a module, the compiler must assume that everything in that module will be exported. This disables various useful optimisations: | ||
| Line 11: | Line 11: | ||
* The compiler has more flexibility regarding calling conventions and the like for functions that are not visible beyond the current compilation unit. | * The compiler has more flexibility regarding calling conventions and the like for functions that are not visible beyond the current compilation unit. | ||
* Even though jhc does a final full optimization pass, explicit export lists still greatly help expose other optimization opprotunities that might not be available later and can greatly speed up the time it takes to compile a program. | |||
== Manual whole program compilation == | |||
For compilers with separate module compilation, a whole-program compilation and optimization can be achieved semi-automatically | |||
by merging a bundle of modules using [http://www.cs.utah.edu/~hal/HAllInOne/ Haskell All-In-One]. | |||
Latest revision as of 07:47, 20 April 2021
| Haskell Performance Resource
Constructs: Techniques: |
Use an explicit export list
If you do not have an explicit export list in a module, the compiler must assume that everything in that module will be exported. This disables various useful optimisations:
- If a function is used only once in the current module, and not exported, there is no penalty for inlining the function at its single use point.
- If a function is not used at all, and not exported, its definition can be discarded.
- The compiler has more flexibility regarding calling conventions and the like for functions that are not visible beyond the current compilation unit.
- Even though jhc does a final full optimization pass, explicit export lists still greatly help expose other optimization opprotunities that might not be available later and can greatly speed up the time it takes to compile a program.
Manual whole program compilation
For compilers with separate module compilation, a whole-program compilation and optimization can be achieved semi-automatically by merging a bundle of modules using Haskell All-In-One.