История изменений

запрещает создавать неинициализированные экземпляры для данного типа, то можно

Это только верхушка айсберга. Как быть с типами вроде Option<>? Нужен как минимум паттерн-матчинг в языке. А вообще говоря, нормальная алгебраическая система типов как в ML-ях. Собственно эти ML-и и разрабатывались в рамках концепции «доказательства корректности». Т.е. просто статической типизации недостаточно.

Я уж не говорю о том, что формальная гарантия последовательности выполнения никак не гарантирует фактическую логику работы.

запрещает создавать неинициализированные экземпляры для данного типа, то можно

Это только верхушка айсберга. Как быть с типами вроде Option<>? Нужен как минимум паттерн-матчинг в языке. А вообще говоря, нормальная алгебраическая система типов как в ML-ях. Собственно эти ML-и и разрабатывались в рамках концепции «доказательства корректности». Т.е. просто статической типизации недостаточно.