Какие языки программирования и языковые функции меньше 10?

Нет, что я видел.

Конечно, все время появляются «новые» языки. Но я использовал пугающие цитаты, потому что обычно предлагаются следующие примеры:

• переупаковка (на другой язык) идей, которые десятилетиями использовались в компьютерных науках и математике, или
• языки / методы, которые старше этого, но только недавно «открыты» «основным» миром.

Для конкретных примеров:

• Лямбда-исчисление восходит к математике и логике 1930-х годов.
• функциональное программирование восходит к LISP в конце 1950-х,
• Джон Бэкус обсуждал FP в своем Лекция по Премии Тьюринга 1977 г. (pdf),
• Статья Джона Хьюза Почему функциональное программирование имеет значение был написан в 1984 году,
• понимание вернитесь на теория множеств в 1870-х годах и SETL в 1960-х гг.
• комбинаторы синтаксического анализа продвигались Фил Уодлер в середине 1980-х годов и вернуться к комбинаторная логика в 1920-х годах,
• и так далее.

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

Конечно, я буду рад, если кто-нибудь сможет привести пример действительно оригинальной концепции программирования, которой не было десять лет назад.

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

Языку программирования D чуть меньше 10 лет. Его уникальные особенности включают в себя транзитивную константу (все, что доступно из константного объекта, также является константой), вычисление функции времени компиляции и возможность аннотировать функции как чистые и статически проверять их компилятором на предмет побочных эффектов, видимых вне функции. Также включена система шаблонов, которая позорит шаблоны C ++, дженерики Java / C # и т. Д.:

1. Вариативные шаблоны, которые «просто работают» для неограниченного количества аргументов.
2. Строки, числа с плавающей запятой и псевдонимы функций могут быть параметрами шаблона.
3. Оператор static if, аналогичный тому, что существует на бумаге в C ++ 0x, фактически реализован и работает.
4. Строковые и шаблонные миксины, которые позволяют вводить произвольный параметризованный шаблонный код в любое место вашего источника и для произвольной генерации кода времени компиляции. В крайнем случае, это было использовано Доном Клагстоном для создания библиотеки математических матриц, которая фактически анализировала код, заданный в виде строковых литералов, во время компиляции и генерировала оптимальный встроенный ассемблерный код для этих операций перед этапом генерации кода компилятора.
5. Структуры могут быть представлены в виде кортежей, что позволяет выполнять итерацию по их полям. Это позволяет реализовать интересное общее программирование со структурами.
6. Невероятно мощная рефлексия / интроспекция во время компиляции. Однажды я написал шаблон функции, который мог глубоко копировать любую структуру, пока не были задействованы объекты полиморфного класса времени выполнения (которые просто не могут работать с отражением времени компиляции). Это было сделано только с использованием отражения во время компиляции. Информация о типе среды выполнения не использовалась.

Языки развиваются. Вам не обязательно нужен новый язык, чтобы получить новую языковую функцию. Например, Haskell - не новый язык, но у него есть много «новых» функций, включая STM.

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

Если бы вы задали этот вопрос около 20 лет назад, когда объектно-ориентированный объект был одной из «больших новых вещей» с C ++, Smalltalk и т. Д., Люди могли бы просто ответить, что это просто переупаковка Simula (1967). Но в 1970 году я не думаю, что кто-то мог бы считать объекты «большим нововведением», скорее, они были бы просто «интересной синтаксической тонкостью» в этом языке Simula. Со временем объектно-ориентированный подход эволюционировал, люди осознали, насколько объектно-ориентированный объект естественен для моделирования / построения систем, были найдены шаблоны проектирования ... и сегодня очень многие языки принимают объектно-ориентированный объект «как должное». Но трудно найти момент времени, когда люди сказали бы, что «объектно-ориентированный объект был великой новой инновацией», потому что, когда он был новым, никто не оценил масштаб его влияния на область разработки программного обеспечения, и к тому времени, когда его охват стал очевидным, он уже не было новым.

Через 20 лет, возможно, все новые / популярные языки будут иметь такую ​​функцию, как «классы типов» из сегодняшнего Haskell (это убойная функция), но она уже «слишком устарела» по критериям этого вопроса, чтобы быть нововведением, даже если она может быть «следующим большим достижением».

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

Я не думаю, что последнее нововведение связано с изобретением новых функций. Он делает старые идеи доступными (и практичными) в обычных условиях. Лямбда-выражения - отличный пример этого - старые как горы, но подавляющее большинство разработчиков не сталкивались с ними до C # 3 и VB9.

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

Кстати, является ли природа универсальных шаблонов .NET "новой"? Я не знаю достаточно истории вычислений, чтобы сказать, но есть явные различия между ними и дженериками Java (со стиранием типа) или шаблонами C ++ (где специализация на самом деле является делом времени компиляции, насколько я могу судить, требуя источник для шаблона).

OMeta менее двух лет, и это язык для создания других языков. На мой взгляд, он более выразителен, чем языки вроде предстоящего MGrammar от Microsoft.

Самая крутая идея в том, что вы можете создавать языки объектно-ориентированным способом (например, вы можете создать гибридный язык грамматик Ruby и C #).

Также приятно, что синтаксис выглядит почти идентично BNF и, следовательно, вполне читабелен.

Я написал об этом подробнее здесь.

Язык AgentSpeak (L) для программирования интеллектуальных агентов. Он основан на Прологе (который очень старый), но у него есть некоторые очень специфические особенности, и он совершенно новый.

Вы можете проверить полноценный интерпретатор по имени Джейсон.

Как насчет F # :). Есть также множество новых языков, разрабатываемых индивидуальными разработчиками. Например, scala, jruby, groovy, boo и т. Д.

Чтобы язык прижился, ему действительно нужна большая поддержка со стороны большой компании, поэтому на какое-то время мы будем придерживаться того, что у нас есть. Хотя Sun и MS вкладывают значительные средства в то, чтобы сделать свои платформы (JVM, CLR) более открытыми для этих языков. На данный момент значениями по умолчанию будут Java и C #, но только время покажет.

с нетерпением жду Boo.

Boo - это объектно-ориентированный язык программирования со статической типизацией, который активно разрабатывается с 2003 года. Он стремится использовать поддержку Common Language Infrastructure для Unicode, интернационализации и веб-приложений, используя при этом синтаксис, вдохновленный Python 1, уделяя особое внимание расширяемости языка и компилятора. Некоторые особенности, которые следует отметить, включают вывод типа, генераторы, мультиметоды, дополнительную утиную типизацию, макросы, истинные замыкания, каррирование и функции первого класса.

языку программирования Scala меньше 10 лет (я считаю, что он был первоначально выпущен в 2001 году) и мог претендовать на звание первого:

• Реальный масштабируемый язык (например, от скриптов и имплицитов до акторов и модулей). Я говорю реальный, потому что некоторые будут утверждать, что другие, начиная с Lisp, были здесь первыми, но я считаю, что совместимость Scala с Java, объектно-ориентированные функции, система типов и т. Д. Делают его другим.
• Сочетание функционального и объектно-ориентированного программирования в реальном мире (например, с функциями высшего порядка, а также с набором состояний и статической типизацией). Я снова говорю реальный, потому что, например, Oz старше, я считаю, что совместимость и прагматизм Scala имеют значение

Много «нового» языка нацелено на ту или иную хорошо работающую виртуальную машину, а именно на JVM или CLR. Это позволяет сосредоточиться на разработке синтаксиса и «философии» больше, чем на реализации (использование существующих оптимизированных виртуальных машин, сборщика мусора, библиотек и т. Д.).

Интересно, что некоторые языки ориентированы на обе платформы, например Fan Programming Language.

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

Я нашел Haxe интересным, поскольку он нацелен на несколько языков / виртуальных машин: JavaScript, Flash, NekoVM или даже PHP.

Как говорили другие, сегодня трудно найти действительно новые концепции. Отчасти потому, что многое уже изучено, отчасти потому, что многие программисты ленивы и сбиты с толку, если новый язык не использует знакомый синтаксис (я видел много жалоб от людей в списке рассылки Lua, которые просили использовать {и} вместо do / end - см. также жалобы на то, что JavaFX не является Java ...), не говоря уже о новой концепции!

Хорошо, мы знаем контракты кода со времен Eiffel - так что это 20+ лет, а анализ кода - годы и годы, но я никогда не видел такой полной комбинации контрактов кода, анализа кода и модульного тестирования, как в C # 4.0 и Pex. Возможно, я ошибаюсь и не знаком с другими языками и продуктами, которые предлагали такой уровень функциональности много лет назад, но я бы определенно назвал такую ​​степень помощи в отношении «безошибочного» программного обеспечения функцией. Итак, это новое?

Powershell как язык менее 10, конечно, не языковые функции.

E-язык сделал доступной упрощенную конвейерную обработку обещаний. Это должно стать решающей идеей для предстоящей революции многоядерных процессоров, поскольку она позволяет писать код, который легко распараллеливается, имеет недорогие зависимости между взаимодействующими подпроцессами и позволяет обойти все стандартные проблемы с управлением блокировками и предотвращением тупиковых ситуаций. . Основные идеи E были перенесены на множество других языков. E является частью длинной (хотя и несколько неясной) линии языков объектных возможностей, которые вносят очень важный вклад в надежность и безопасность программного обеспечения. E сейчас всего около 10 лет.

Синий язык программирования демонстрирует большой потенциал. Подумайте: «Python, но его проще использовать и расширять».

Нет, я не говорю, что Blue лучше Python, я просто говорю, что он готов, прост в использовании и (уже через пару лет) достаточно стабилен. Растет у меня около года :)

Я бы сказал, что последние дополнения C #, такие как LINQ, методы расширения, лямбда-выражения и прочее, являются относительно новыми. Если они сейчас не большие, то будут.

ASP.NET MVC, хотя это не языковая функция, будет большой (я почти уверен), хотя я знаю, что многие никогда ее не примут.