In fact, stored procedures (in relational DBs at least) are statically typed, so they will error if you change the type of a referenced column to something that

In fact, stored procedures (in relational DBs at least) are statically typed, so they will error if you change the type of a referenced column to something that no longer makes sense. This gives you more safety than a dynamically typed application language can, at least out of the box.