u/Axman6in r/haskell • Recommends
@lexi_lambda: The GHC strictness analyzer, unboxing, and the worker-wrapper transformation - Tweag
0:00 / 0:00
#ghc#haskell#strictness-analysis
@lexi_lambda: The GHC strictness analyzer, unboxing, and the worker-wrapper transformation
Tweag by Modus Create
5K subscribers • 20 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Alexis King
Advanced. Deep dive for people who know the field.
5.5K views3 years ago1 recommendation
Programming languagesSystems programmingCompilers and interpretersPerformance and optimization
Alexis King explains how GHC's demand analyzer works and how its results drive the worker-wrapper transformation to optimize Haskell programs.
The demand analyzer is a crucial part of the GHC optimization pipeline. In this video, we take a look at how it works on a few simple examples and discuss how its results are used to drive the worker-wrapper transformation, GHC’s modular technique for propagating strictness information throughout a program. Additional resources: • A transformation-based optimiser for Haskell: microsoft.com/en-us/research/wp-content/uploads/1998/09/comp… • Documentation on the strictness analyzer in the GHC User’s Guide: downloads.haskell.org/ghc/9.4.4/docs/users_guide/using-optim… — Contact: • Tweag Website: tweag.io/ • Tweag Twitter: twitter.com/tweagio • Alexis King's Twitter: twitter.com/lexi_lambdaWhy it's here
1 person recommends thisWhat people say. Highly recommended as an exceptionally clear explanation of GHC's strictness analysis and optimization pipeline.