Вы захотели, это уже разумность:) Пока существующие системы на основе ИИ имеют такое же отношение к разуму, как палочка слепца - к зрению:) Да и исходная разумность, разумность человека - сильно преувеличена:) И совсем другая.
Но это 1) реже применимо (хотя...), 2) много менее заметно и 3) об этом, о сравнительном экономическом эффекте создания и преобразования кода, никто не думает.
Непонятно, как связан голосовой ввод по ссылке и оптимизация в компиляторах. Если же говорить об оптимизации типа 8+8-8 на 8 существующие оптимизаторы в компиляторах справляются на ура:) И даже с существенно более сложными. Не вижу, чем они их улучшат с предлагаемой теорией.
Голосовой ввод направлен на порождение кода. Он не работает с преобразованиями кода.
Оптимизации в компиляторах обязаны доказывать или поддерживать эквивалентность разных (преобразованных) вариантов кода - удобного и оптимизированного.
Оптимизации в компиляторах, будучи применены чуть шире, могут доказать возможность такого переписывания программы, при котором код будет сокращён, а функция сохранена. Как при map (f . g) = map f . map g.
Ссылка на насыщение равенствами приведена в качестве примера вывода доказательств для такого переписывания.
Comments 11
Да и исходная разумность, разумность человека - сильно преувеличена:) И совсем другая.
Reply
Но это 1) реже применимо (хотя...), 2) много менее заметно и 3) об этом, о сравнительном экономическом эффекте создания и преобразования кода, никто не думает.
Reply
Если же говорить об оптимизации типа 8+8-8 на 8 существующие оптимизаторы в компиляторах справляются на ура:) И даже с существенно более сложными. Не вижу, чем они их улучшат с предлагаемой теорией.
Reply
Оптимизации в компиляторах обязаны доказывать или поддерживать эквивалентность разных (преобразованных) вариантов кода - удобного и оптимизированного.
Оптимизации в компиляторах, будучи применены чуть шире, могут доказать возможность такого переписывания программы, при котором код будет сокращён, а функция сохранена. Как при map (f . g) = map f . map g.
Ссылка на насыщение равенствами приведена в качестве примера вывода доказательств для такого переписывания.
Reply
Leave a comment