> ты хочешь получить верифицированный кодА вот если вместо протекающего, ненадежного, неверефицируемого Rust использовать безопасный, надежный, верифицируемый SPARK, то мат верификация кода на предмет отсутствие ошибок в рантайме и корректной работы с памятью, будет автоматическая.
> это же опенсорс, все на энтузиазме или за деньги корпораций - так что "жри, что дали" и не жалуйся ну или оплачивай труд высококвалифицированных специалистов
Раньше так небыло. Но пришли "програмисты" с раст и привнесли с ним свой стандарт, - "жри, что дали".