Certainly regarding your example.

However in languages with rich type systems you can do Type Driven Development, which reduces the area space for many kind of errors.

Basically a simplified version of dependent typing, where one makes use of the type system to represent valid states and transitions between them.

For example, one can use ADTs to represent file states, with the file operations only compiling if the file handle is in the open state.