Может ли компьютер сам писать код и проверять его?

Всем привет!

Такая мысль возникла, а что, если бы компьютер сам писал код, а программист бы лишь руководил процессом автоматизированного написания? Если бы компьютеры были бы достаточно быстрыми, они бы могли задачи по написанию кода решать простым перебором вариантов.

0

Clarity1, так это уже происходит лет сорок к ряду. Программист на высокоуровневом языке описывает хотелки, а компилятор рожает тонны низкоуровнего кода.

А процесс автоматизации настолько гибкий, чтобы реализовывать ЛЮБЫЕ хотелки - и есть написание кода.

1

Я имел ввиду, чтобы компьютер и на языках высокого уровня мог что-то сам сделать. А человек ему словесно (на русском, например) объяснит, что делать. Хотя уже сомневаюсь, что это возможно, т.к. слова обычного языка не формальны и могут быть поняты по-разному.

0

Clarity1, собственно, высокоуровневые языки программирования совсем немного отличаются от привычных человеческих.
Или вам что, уже клаву юзать лень? Так и для этого есть программули - выполняют голосовые команды. Юзаются, в основном, людьми с ограниченными возможностями. Погуглите.

Вообще же, ЯПы - это языки описания всего того, что вы хотите получить от машины. Одни ЯПы - более близки к самой машине, как, например, C и C++, другие - к человеческому языку. Но в любом случае, все ЯПы - описания последовательности действий машины, которые она должна выполнить.

В общем случае для более-менее успешного программописания нужно просто выучить и уверенно пользоваться английским языком, который таки один из человеческих. Если вы можете простым английским языком объяснить пошагово во всех мелочах некоторый алгоритм действий другому человеку, то вы сможете точно так же объяснить этот же алгоритм и машине. На сегодня в этом принципиальной разницы уже нет.

1

Сообщение от Clarity1 человек ему словесно (на русском, например) объяснит, что делать.

Словесно заказчик может такого наговорить)))
Не вижу принципиальных проблем, чтобы по ТЗ (которое написано на определенном языке для написания ТЗ) ваялся код автоматически. Но без спеца по программированию сам заказчик толкового ТЗ не напишет.
Промежуточный вариант - программирование в терминах предметной области. Такие системы существуют. Это когда Заказчик может сам что-то сваять, получив некие минимальные сведения об этой системе.
Но хотя бы говорить Заказчик должен уметь. И ещё - мыслить системно и логически непротиворечиво должен уметь. И тогда - такая речь тоже код. Тока для его интерпретации нужен спец процессор - сознание программиста)
Но через какое-то время, наверное, появится ИИ, который выслушает заказчика и выдаст код. Но и в этом случае программист послушает чё там наболтал заказчик, посмотрит, что сделал ИИ и скажет заказчику - ты чё дурак? Ты же наверное не это хотел а вот это... И заказчик скажет, ну да, точно, а я чё не так сказал?
Как-то так)

2