Где новые идеи на языках программирования? [закрытый]

Вместо того, чтобы быть по-настоящему «новыми», я бы сказал, что современные языки программирования постепенно приносят идеи, которые были известны в компьютерных науках на протяжении десятилетий, но на самом деле не поразили промышленность - или которые ранее были в нишевых языках, но не в основных.

Например, многие идеи LINQ не новы сами по себе, но для многих разработчиков LINQ станет их первым опытом.

Думайте об этом как о процессе «создания» ранее «экспериментальных» функций. Когда я недавно разговаривал с Эриком Липпертом, он сказал, что команда разработчиков C # старалась избегать включения идей «открытого исследования» в язык - просто потому, что они не могут сказать, будут ли эти идеи реализованы в долгосрочной перспективе. Есть много места для экспериментов с языком, но, вероятно, не с основными языками.

А как насчет Подтекст и Согласованности ?

Человечество не изобретало колесо каждые два года; мы постоянно его улучшаем. То же самое и с языками программирования; мы улучшаем его, а не заменяем.

Ну, в lisp есть кое-что, что еще никто не копировал и существует вечно (я смотрю на обычный lisp, в частности)

Если не сломалось, не чините.

Компьютерные языки постоянно получают новые идеи, но они все равно должны компилироваться в одни и те же инструкции ассемблера, поэтому фундаментальных изменений быть не может. В конце концов, весь ваш код по-прежнему будет состоять из циклов, сегментов памяти (=> переменных) и множества инструкций перехода.

Новый путь языков программирования - квантовые вычисления, которые могут быть «достаточно новой» идеей на ваш вкус.

Потому что мы еще не выяснили, как правильно использовать многие из «старых идей», которые существуют по крайней мере с 1970 года, и на самом деле не было никаких принципиально новых идей. похоже, что они полностью изменят игру, сделав их использование более полезным, чем улучшение того, что у нас уже есть.

Эээ, Perl 6 ?

• активные метаданные о значениях, переменных, подпрограммах и типах
• параметризованные роли
• макросы (реализованные на Perl), которые могут переписывать AST или исходный код
• грамматика, которая реализована в самом Perl 6 и может быть расширена или изменена кодом
• множественная отправка, распределительная отправка, делегирование следующему элементу в цепочке вызовов
• грамматики как объекты первого класса в языке - может анализировать практически все
• определяемые пользователем инфиксные, префиксные, циркумфиксные операторы, которые могут использовать любой символ Unicode
• необязательная строгая типизация
• мультиморфные тесты на равенство
• гипотетические переменные
• гипероператоры (обработка списков SIMD)
• сопрограммы
• ленивые списки
• соединения (переменные с несколькими значениями)
• автоматическое распараллеливание кода

Perl 6 использует набор функций Perl, Ruby, Python и т. Д., Добавляет дополнительную систему строгих типов , объектно-ориентированный подход Smalltalk и функциональные возможности Haskell - плюс еще несколько нововведений: просто поскольку Perl 5 привнес регулярные выражения в мейнстрим, Perl 6 делает нерегулярные грамматики первоклассными гражданами. И да, он находится в стадии разработки; хотя и не завершен, он быстро развивается: Rakudo Perl 6 .

Языки программирования могут стать намного лучше! Вы смотрели на такие языки, как Agda или Эпиграмма ? Конечно, это исследовательские языки, так что, возможно, это не то, что вы бы назвали «серьезными языками». Однако, если вас интересует, где основные языки могут развиваться в будущем, они могут предложить некоторую информацию.

Всегда появляются новые языки, посмотрите scala .