Я вот, что подумал.
Статическая типизация не гарантирует правильности изначальной спецификации. Это минус.
Но она гарантирует согласованность параллельного внесения изменений в спецификацию и в программу. А вот это - плюс.
То есть, исправление программы в соответствии с исправлениями в спецификации становится более, скажем, предсказуемым.
Это достаточно тривиально, конечно, просто я не видел нигде об этом упоминаний.
И над этим, пожалуй, стоит еще помедитировать.
Но она гарантирует согласованность параллельного внесения изменений в спецификацию и в программу. А вот это - плюс.
То есть, исправление программы в соответствии с исправлениями в спецификации становится более, скажем, предсказуемым.
Это достаточно тривиально, конечно, просто я не видел нигде об этом упоминаний.
И над этим, пожалуй, стоит еще помедитировать.