Программирование: история и прогноз

[catpad]

Решил сам для себя сделать небольшое "концептуальное" обозрение истории программирования и языков. Нанёс на график основные вехи. По одной оси - время от 50-х годов до сегодняшнего дня, по другой - нечто, что можно описать как "степень интереса, надежд, тенденций и всего такого". Получился закономерный "колокол" нормального распределения с небольшими случайными отклонениями.

На втором графике я сделал прогноз на следующие 50-60 лет, учитывая получившийся паттерн.








Таким образом, я делаю вывод, что программирование (языки, технологии, концепции) будет находиться в упадке ещё лет 10, но в 20-х годах следует ожидать появления новых идей (о которых пока и догадываться невозможно), совсем новых парадигм программирования и на их основе новых языков. В 40-х годах - нового расцвета языков и исследований; появления совсем новой революционной технологии годах в пятидесятых, дальнейшего развития программирования на её основе; победу какого-то одного языка к середине 50-х; неизбежного его усложнения к началу 60-х; потерю интереса к новому программированию как к искусству и превращения его в индустрию в середине шестидесятых годов 21-го века.

Comments

[catpad.livejournal.com]

Я думаю, это не подозрение, а уверенность. Компьютер фон Неймана и бинарная логика, кажется, исчерпали возможности для возникновения новых моделей вычисления.
Вот, например, почему Аду Лавлейс называют "первой программисткой" ? (она же на самом деле не была уж совсем первой). А потому, что она первая написала, что компьютер может оперировать не только числами, но и символами, что и послужило началом всему остальному.
Я думаю, что компьютер следующего поколения должен будет оперировать не только числами и символами, но и какими-то неизвестными нам абстрактными категориями, которые в существующей архитектуре непредставимы. Если исследование мышления продвинется в какой-то серьёзной степени, тогда и компьютер можно будет моделировать по образу и подобию.

[potan.livejournal.com]

какими-то неизвестными нам абстрактными категориями
Особенно если гипотеза Пенроуза верна :-)).

[catpad.livejournal.com]

А что это за гипотеза ?

[potan.livejournal.com]

То, что мыслительная деятельность обусловлена физическими процессорами, которые принципиально не могут быть смоделированны на машине Тьюринга. Предположительно эти процессы описываются в рамках какой-либо теории квантовой гравитации.
Обосновывает он это тем, что человек способен понимать математику, не смотря на теорему Геделя о неполноте.

[catpad.livejournal.com]

Обоснование его я не понял, честно говоря, а вот с гипотезой полностью согласен.

[potan.livejournal.com]

У него несколько книг на эту тему есть. Не совсем строго, но достаточно убедительно.
На русском выходили "Новый ум короля" и половина "Теней разума". В электронном виде я не нашел, на на русском, ни на англисском.

[catpad.livejournal.com]

Да, у меня она есть, только я не читал. Начал читать его "The Road to Reality : A Complete Guide to the Laws of the Universe", но быстро перестал что-либо понимать :)

[potan.livejournal.com]

Те, что на русский перевели - очень просто написаны. Как начно-популятные. Хотя он и что-то более научное на эту тему писал.

[mataanin.livejournal.com]

gy gy tak eto vihodit cto misle itelnaja dejatelnost' ne poddajetsia podscetu ili ne svoditsia k algoritmu:)

[jumpingrat.livejournal.com]

Читаете мои мысли, хе-хе (или я Ваши? ;) )