Linear types make performance more predictable https://blog.tweag.io/posts/2017-03-13-linear-types.html (exploring linear types in Haskell)
miniblog.
Related Posts
A nice side effect of regular profiling: you know which parts of your code are cold.
For example, difftastic's display logic is very cold, so I can do additional linear scans to align content without perf worries!
An introduction to polyhedral compilation, with a worked example showing how you compute relevant linear transforms: https://www.youtube.com/watch?v=iAF-orse4hE
Exciting to see Google advocate for a standard linear smear for leap seconds! Smearing feels like the best solution, we just need consensus on how to do it.
https://developers.google.com/time/smear