компиляторы умеют статичски проверять то что определяется в рантайме? Это проблема раста потвоему?
например, в с++ можно писать constexpr функции и юнит-тесты к ним так, чтобы программа даже не компилировалась при падении юнит-теста
Обсуждают сегодня