Static types and shovels (2026)

As a heads up, the 5th paragraph looks like you tried to edit the 4th paragraph but copied it instead with the changes you made.

(About the tags: I've tagged this just as "programming" because it's about the factors that drive people's choices of languages but it isn't technical detail about the implementation of them so I don't think "plt" would fit.)