Our great sponsors
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
I'm wondering if this is related to this.
Semi-manually, I'm afraid :) For each benchmark in my suite, I have a bunch of modules XYZ010.hs,XYZ020.hs, etc.; I then compile the whole thing, have a script that extracts the core size for each module and writes them to a .csv file, which I then render as a graph using gnuplot. For the compilation time diagrams it's a similar process, except that I'm using ghc-timings-report to extract the compilation times.
For a more motivated example, I use this technique to keep track of game state in Scattergories: https://github.com/brandonchinn178/categories-with-friends/blob/master/server/src/CategoriesWithFriends/Game/Answer.hs