[regularfry]

The sort of maths the article is referring to has very little to do with arithmetic computation, and is present in the type systems of those languages you're developing sites and apps in.