Excellent post on dependent types, why parametric polymorphism is good, and building inscrutable type checkers:
miniblog.
Related Posts
Some of my OSS projects are largely feature complete. For them, virtually every commit is just fixing bugs reported.
It's a strange routine, because it means the time I spend maintaining is dependent on the bug report rate, which largely depends on the size of the user base.
Internet software decays: https://utcc.utoronto.ca/~cks/space/blog/tech/InternetSoftwareDecay
(Software is dependent on the environment, and that's changing! You also have to stay on top of evolving security concerns.)
When you're writing static analysis tools, should you make your analysis flow or path dependent? What is the accuracy/performance tradeoff?
https://www.youtube.com/watch?v=JpK9e__q5Ts shows an elegant approach using monad transformers to make this pluggable.
