Купить Криптовалюту
iOS & Android

Прогноз Виталика: Код без ошибок может стать возможным в 2030-х годах

BlockBeats news, 24 декабря, основатель Ethereum Виталик Бутерин написал в социальных сетях: «Записываю предсказание: фраза „Баги неизбежны, нельзя написать код без ошибок“ перестанет быть верной в 2030‑х годах.

Конечно, большое количество программного обеспечения по‑прежнему будет содержать ошибки, потому что в их сценариях использования расширение функциональности важнее абсолютной корректности; но если кто‑то действительно хочет код без ошибок, к тому времени это станет достижимым».