The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Инициатива по созданию порта PostgreSQL на языке Rust"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.
. "Инициатива по созданию порта PostgreSQL на языке Rust" +2 +/
Сообщение от Аноним (-), 11-Янв-17, 15:50 
1. Если программист написал настолько сложную программу, что он сам для себя даже примерно не может сказать, как она поведёт себя (остановится или нет, где может упасть), то зачем он её вообще писал? Если на практике мы чаще всего имеем дело с программами, написанными людьми и читаемые людьми, то почему сразу вспоминают Тьюринга и какие-то сферические в вакууме программы?

2. Для многих алгоритмически неразрешимых задач и задач с экспоненциальной сложностью давно уже разрабатывались эвристические методы, чтобы хоть как-то приближённо решать эти задачи. Даже проблему остановки можно попытаться решить с некоторой степенью глубины анализа. Трансляция из языка в язык - тоже довольно реальная задача для программ, встречающихся на практике (написанных и понимаемых людьми).

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Инициатива по созданию порта PostgreSQL на языке Rust, opennews, 09-Янв-17, 11:03  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру