Исходное сообщение
"Опрос Stack Overflow: Rust назван самым любимым, а Python са..." Отправлено myhand, 05-Авг-21 05:11
> Стековой памятью надо управлять так, памятью в куче эдак, причём если копнуть > глубже, то и стековой памятью можно управлять по-разному и памятью в > куче тоже. Ну, так это так или иначе делают при реализации структур данных в высокоуровневых языках (типа того же питона). > Раст позволяет кодировать эти соглашения в API. И проверяет > чтобы API соответствовало коду. Причём он проверяет, чтобы реализация API соответствовала > бы заявленному в API. И он проверяет, чтобы код, пользующийся API, > пользовался бы им так, как требует выбранная стратегия управления памятью. Эта задача там действительно решается или "мамой клянус, в 99% случаев это сработает"? Проверка корректности программ в общем случае - задача алгоритмически не менее безнадежная чем сравнение двух вещественных чисел.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> Стековой памятью надо управлять так, памятью в куче эдак, причём если копнуть >> глубже, то и стековой памятью можно управлять по-разному и памятью в >> куче тоже. > Ну, так это так или иначе делают при реализации структур данных в > высокоуровневых языках (типа того же питона). >> Раст позволяет кодировать эти соглашения в API. И проверяет >> чтобы API соответствовало коду. Причём он проверяет, чтобы реализация API соответствовала >> бы заявленному в API. И он проверяет, чтобы код, пользующийся API, >> пользовался бы им так, как требует выбранная стратегия управления памятью. > Эта задача там действительно решается или "мамой клянус, в 99% случаев это > сработает"? > Проверка корректности программ в общем случае - задача алгоритмически > не менее безнадежная чем сравнение двух вещественных чисел.
	Введите код, изображенный на картинке: