Исходное сообщение
"Выпуск языка программирования Rust 1.48" Отправлено Ordu, 20-Ноя-20 21:51
>> TL;DR Проблема остановки особого практического значения не имеет. > Точнее практическое значение в том, что серебрянной пули не существует. Или пишем > доказательства, или используем Тьюринг-неполные языки, или, как обычно делается, пишем > программы, которые вроде бы интиутивно должны работать и, в общем, работают, > но неизвестно не сломаются-ли в какой-то ситуации. Коллективное бессознательное опеннета искренне верит в интуицию опытного программиста. Философия уровня боевиков про кунг-фу: достаточно натренированный мастер может хером своим отбить удар хоть закалённого меча, хоть кузнечного молота. А если не может, значит мало тренировался.