Math, Where Are the Static Types? (nopipeline.substack.com)

Math isn't a completely formalized system. For example, a lot of work was done with real numbers before they were formalized, and I believe that happened relatively recently (late 1800s, early 1900s). It just would not have been possible to make statements about calculus prior to that time if you were to demand types.

There is an obvious benefit to the way math developed historically.