Сравнение языков программирования

Сравнения языков программирования
	Общее сравнение
	Основной синтаксис
	Основные инструкции
	Массивы
	Ассоциативные массивы
	Операции со строками
	Строковые функции
	List comprehension
	Объектно-ориентированное программирование
	Объектно-ориентированные конструкторы
	Доступ к базам данных
СУБД баз данных
	Оценка стратегии
	Список программ «hello world»
	Влияние ALGOL 58 на ALGOL 60
	ALGOL 60: Сравнения с другими языками
	Сравнение ALGOL 68 и C++
	ALGOL 68: Сравнения с другими языками
	Совместимость C и C++
	Сравнение Pascal и Borland Delphi
	Сравнение Object Pascal и C
	Сравнение Pascal и C
	Сравнение Java и C++
	Сравнение C# и Java
	Сравнение C# и Visual Basic .NET
	Шаблон: Просмотр • Обсуждение • Править

Условные обозначения
+	Указанная возможность присутствует
-	Указанная возможность отсутствует
+/-	Возможность поддерживается не полностью
-/+	Возможность поддерживается очень ограниченно
?	Нет данных
x	Постановка вопроса не применима к языку

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

При заполнении таблицы учтены только фактические данные, при том, что наличие возможности не обязательно является преимуществом языка, а отсутствие — недостатком.

Парадигмы [править]

Возможность	Язык
Возможность	Ada	C	C++	C#	D	Eiffel	Erlang	Prolog	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml	PureBasic
Императивная	+	+	+	+	+	+	-	-	+	+	+	+	+ ^[1]	+	+	+	+	+	+	+	+	+	+	+	+	+
Объектно-ориентированная	+	-/+^[2]	+	+	+	+	- ^[3]	- ^[3]	+	+	+	+ ^[4]	- ^[5]	+	+	+	+	+	+	+	+	+	+	+	+	-/+
Функциональная	-	-	+/-	+/-	+/-	+/-	+	+	+	+	-/+	+/-	+	+/-^[6]	+	+	+/-	+	+	+	+	+	+/-	-/+	+	+/-
Рефлексивная	-	-	- ^[7]	-/+	-/+	?	+	+	-/+	-/+	-/+	+	-	+	-/+	+/-	+	+	+	-/+	+	+	-/+	-/+	-	?
Обобщенное программирование	+	-	+	+	+	+/-	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	-	+	+	+	-/+
Логическая	-	-	-	-	-	-	-	+	-	-	-	-	+/- ^[8]	+/- ^[9]	+/-	-	-	-	-	?	+/-	-	-	-	-	?
Декларативная	-	-	-	-/+^[10]	-/+	?	+	+	+	+	-	+/-	+	+^[11]	+	-/+ ^[12]	+	+	+	+	+/-	-	+/-	-	+	+/-
Распределенная	+ ^[13]	+/- ^[14]	+/- ^[14]	-/+ ^[15]	-	+	+	+	-	-/+	+	-	+ ^[16]	+/-	-	-	-	-/+	-/+	?	+/-	?	-	-	-	-
	Ada	C	C++	C#	D	Eiffel	Erlang	Prolog	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml	PureBasic

Типизация [править]

Возможность	Язык
Возможность	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml	PureBasic
Статическая типизация	+	+	+	+	+	+	-	+	+	+	-	+	+/-^[17]	+	+/- ^[18]	-	-	-	+	+/- ^[19]	-	+	+	+	+
Динамическая типизация	-	-	-	+ ^[20]	-	-	+	-/+^[21]	+	-	+	-/+ ^[22]	+	-	+	+	+	+	-	+	+	+ ^[23]	-/+ ^[24]	-	-
Явная типизация	+	+	+	+	+	+	-/+ ^[25]	+	+	+	-	+	+/-^[17]	+	-/+ ^[26]	+/-	+/- ^[27]	-	+	+/- ^[28]	-	+	+	+	+
Неявная типизация	-	-	-/+	-/+^[29]	+	-	+	+	+	-	+	+	+	+	+	+	+	+	+	+	+	+	-	+	+
Неявное приведение типов без потери данных	-/+ ^[30]	+	+	+	+	+	-	-	+	-	+	-	+	+	+	+	+	+	?	+	+	+	+	-	+
Неявное приведение типов с потерей данных	-	+	+	-	+	-	-	-	-	-	?	-	-	?	+ ^[31]	+	-	-	?	+	+	+	+	-	-/+
Неявное приведение типов в неоднозначных ситуациях	-	+	+	+	+	-	-	-	-	-	+	-	-	+	+ ^[32]	+	-	-	?	-	+	+	-	-	-/+
Алиасы типов	+	+	+	+	+	-	x	+	-	-	x	+	+^[33]	+	x	x	x	x	?	?	x	-	+	+	-/+
Вывод типов переменных из инициализатора	-	-	+/- ^[34]	+	+	-	x	+	-	-	x	+	+/- ^[35]	+	x	x	x	x	+	?	x	+	-	+	+
Вывод типов переменных из использования	-	-	+/- ^[34]	-	-	-	x	+	-	-	x	+	+/- ^[35]	+	x	x	x	x	?	?	x	?	-	+	+/-
Вывод типов-аргументов при вызове метода	-	-	+	+	+	+	x	+	+	+	x	+	+/- ^[35]	+	x	x	x	x	+	?	x	+	-	+	?
Вывод сигнатуры для локальных функций	-	-	+/- ^[36]	-	?	-	x	+	-	-	x	+	+/-^[35]	+	x	?	x	x	-	?	x	?	-	+	?
Параметрический полиморфизм	-	x	-	+	+	+	x	+	+	+	-	+	+	+	x	+	x	x	+	?	x	+	-	+	?
Параметрический полиморфизм с ковариантностью	-	x	-	+/- ^[37]	?	+	x	+	-	-	-	x	+	+/-	?	?	x	x	+	?	x	-	-	?	?
Параметрический полиморфизм высших порядков	-	x	-	-	-	?	x	-	-	-	-	+	+	-	x	?	x	x	+	?	x	-	-	?	?
Информация о типах в runtime	-/+ ^[38]	-	-/+ ^[39]	+	+	+	+	+	+	+	-/+	-	+	+	+	+	+	+	+	+	+	+	+	-	-
Информация о типах-параметрах в runtime	-	-	-/+	+	?	?	-	+	-	-	-/+	-	+	+	+ ^[40]	+	+	?	-	?	-	+	+	-	-
	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml	PureBasic

Компилятор/интерпретатор [править]

Возможность	Язык
Возможность	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	Ocaml	PureBasic
Open-source компилятор (интерпретатор)	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+ ^[41]	+	+	+ ^[42]	+	-
Возможность компиляции	+	+	+	+	+	+	-/+ ^[43]	+	+	+	+	+	+	+	+	+ ^[44]	+	+	+	+ ^[45]	-	+	+	+	+
Bootstrapping	+	+	+	+	-	?	+	+	+	+ ^[46]	+ ^[47]	+	+^[48]	+	?	x	+ ^[49]	+	+	+ ^[50]	x	?	+	+	+
Многопоточная компиляция	+	+	+	-	+	?	+	+	+	+	?	+	+	-	?	?	x	x	-	-	x	+	?	+	+
Интерпретатор командной строки	+/- ^[51]	-/+ ^[52]	+/- ^[52]	- ^[53]	-	?	+	+	+	-	+ ^[54]	+	+	+	+	+	+	+	+	+ ^[55]	+	+	-	+	-
Условная компиляция	+/- ^[56]	+	+	+	+	?	+	+	?	-/+ ^[57]	-/+ ^[58]	+	+^[59]	+	+	+	x	x	?	+	x	+	+	x	+
	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml	PureBasic

Управление памятью [править]

Возможность	Язык
Возможность	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml	PureBasic
Создание объектов на стеке	+	+	+	+	+	-/+ ^[60]	?	?	-	-	-	+/- ^[61]	+/- ^[62]	+	-	-	-	-	?	?	-	-	-/+ ^[63]	?	+
Неуправляемые указатели	+	+	+	+	+	-	-	-	-	-^[64]	-	-^[64]	-^[64]	-	-	-	- ^[65]	-	-	+ ^[66]	-	-	+	-	+
Ручное управление памятью	+	+	+	+^[67]	+	-	-	-	-	-^[64]	-	-^[64]	-^[64]	-	-	-	-^[64]	-	-	+ ^[68]	-	-	+	-	+
Сборка мусора	-/+ ^[69]	- ^[70]	-/+ ^[71]	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	+	- ^[72]	+	-

Управление потоком вычислений [править]

Возможность	Язык
Возможность	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	Tcl	VB.NET	Delphi	OCaml	PureBasic
Инструкция goto	+	+	+	+	+	-	-	x	-	- ^[73]	-	x	+^[74]	-	+	+/- ^[75]	-	-/+ ^[76]	-	-/+ ^[77]	-	+	+	-	+
Инструкции break без метки	+	+	+	+	+	-	-	x	+	+	+	x	+^[78]	+	+	+	+	+	-	?	+	+	+	+/- ^[79]	+
Инструкция break с меткой	+	-	-	-	+	-	-	x	+	+	+	x	+^[80]	+	+	+/- ^[81]	-	+	-	?	-	+	-	x	+/-^[82]
Поддержка try/catch	+	-	+	+	+	+ ^[83]	+	+	+	+	+	+	+ ^[84]	+	+ ^[85]	+	+	+	+	+	+	+	+	+	+^[86]
Блок finally	-/+ ^[87]	-	-	+	+	-	-	+	+	+	+ ^[88]	+	+ ^[89]	+	-	+	+	+	+	+	+	+	+	- ^[90]	+^[86]
Блок else (исключения)	-	-	-	+	-	-	+	-	+	+ ^[91]	?	+	+ ^[92]	-	+ ^[93]	-	+	+	-	?	+	+	+	+	+^[86]
Перезапуски	?	-	?	-	?	?	-	-	?	?	?	?	+	-	- ^[94]	?	?	+ ^[95]	?	?	-	-	?	?	?
Ленивые вычисления	?	-	-/+	-/+ ^[96]	+	-	-	+/-^[97]	-	-	-	+	- ^[98]	- ^[99]	-	-	+	-/+ ^[100]	?	-	-	-/+ ^[101]	-	+^[102]	+
Continuations	?	-/+^[103]	?	-	?	?	-	-	?	?	?	+	-^[104]	-	?	?	-	+	?	+	-	-	?	+/- ^[105]	?
Легковесные процессы (Сoroutines)	-	-	-	-	-	+	+	-	?	+/- ^[106]	-	+	+/-^[107]	-	+ ^[108]	?	+/- ^[109]	?	?	+	+	-	-	+/-^[110]	-

Типы и структуры данных [править]

Возможность	Язык
Возможность	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	VB.NET	Delphi	OCaml	PureBasic
Кортежи	-	-	+/- ^[111]	+/- ^[112]	+/-	+	+	+	+	-	-	+	+	+	+	-	+	+	+	+	+/- ^[112]	-	+	-
Алгебраические типы данных	-/+ ^[113]	-	-	-	?	?	x ^[114]	+	?	-	x ^[114]	+	x ^[114]	+	x ^[114]	x ^[114]	x ^[114]	x ^[114]	?	x ^[114]	-	-/+ ^[113]	+	-
Многомерные массивы	?	+	+	+	+	?	-	+	+	+/-	+/-	+ ^[115]	+	+	+/-	+/-	+/-	+/-	+/-	?	+	+	+	+
Динамические массивы	?	-^[116]	+	+/-	+	?	-	+/-	?	+/-^[117]	+/-	+^[118]	+	?	+/-	+/-	+/-	+/-	+	?	+	+	?	+
Ассоциативные массивы	?	-	+ ^[119]	+	+	?	-	+	+	+/-^[120]	+	+^[121]	+	+	+	+	+	+	+	?	+	+/-	+	+
Контроль границ массивов	?	-	+/- ^[122]	+	+	+	x	+	?	+	x ^[123]	+ ^[115]	+	+	x ^[123]	x ^[123]	+	?	?	?	+	+	+ ^[124]	-
Цикл foreach	+/- ^[125]	-	+ ^[126]	+	+	-	+/- ^[127]	+	+	+	+ ^[128]	+	+ ^[129]	+	+	+	+	+	+	+	+	+	+	+
List comprehensions	-	-	-	-/+ ^[130]	-	-	+	+	-	-	-	+	+^[131]	+	?	-	+	?	+	+	+	-	+/-	-
Целые числа произвольной длины	-	-	-	+ ^[132]	+	?	+	+	+	+ ^[133]	-	+	+	+ ^[132]	+	+/- ^[134]	+	+	+ ^[135]	+	+ ^[132]	-	+ ^[136]	-
Целые числа с контролем границ	+	-	-	-	-	?	-	-	-	-	-	-	+^[137]	-	- ^[138]	-	-	?	-	?	-	+	-	-

Объектно-ориентированные возможности [править]

Возможность	Язык
Возможность	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	VB.NET	Delphi	OCaml	PureBasic
Интерфейсы	?	+/- ^[139]	+ ^[140]	+	+	?	x	+	+	+	?	x	x^[141]	+	+/-^[142]	+	+	?	?	?	+	+	+	x
Мультиметоды	-	-	-/+^[143]	-/+^[144]	-	-	x	-	?	- ^[145]	-	x	+	-	- ^[145]^[146]	-	- ^[145]	- ^[145]	-	-	-	-	-	x
Mixins	?	-	-/+^[147]	-	+	?	x	?	+ ^[148]	+	?	x	+	?	?	?	+ ^[149]	+	+	+	?	-/+^[150]	?	x
Переименование членов при наследовании	?	x	-/+^[151]	-	?	+	x	-	-	-	?	x	-	-	-/+	-	-	?	?	-	-	-	?	x
Множественное наследование	?	x	+	-	-	+	x	-	-	-	?	x	+	-	+	-	+	-	?	-	-	-	+	x
Решение конфликта имен при множественном наследовании	?	x	-/+ ^[152]	x	x	+ ^[153]	x	x	?	x	?	x	+^[154]	x	+	x	+	x	?	x	x	x	?	x

Функциональные возможности [править]

Возможность	Язык
Возможность	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	VB.NET	Delphi	OCaml	PureBasic
Декларации чистоты функций	-	-	-	-	+^[155]	-	-	-	-	-	-	+	-	-	-	-	-	-	-	-	-	-	-	-
First class functions	?	-/+^[156]	+^[157]	+	+	?	+	+	+	-	+	+	+	+	+	-	+	+	+	+	?	+/- ^[158]	+	?
Анонимные функции	?	-	+^[159]	+^[160]	+	?	+	+	+	-	+	+	+^[161]	+	+	+	+/-^[162]	+	+	+	+	+/- ^[158]	+	+
Лексические замыкания	-	-	+ ^[163]	+	+	+	+	+	+	+^[164]	+	+	+	+	+	+^[165]	+	+	+	+	+	+/- ^[166]	+	-
Частичное применение	?	-	+/- ^[167]	?	-	?	?	+	?	-	-	+	-	+	- ^[168]	-	+ ^[169]	+	+	?	?	?	+	?
Каррирование	-	-	+/- ^[170]	+	-	-	-	+	-	-	+	+	-	-	+	-	+	+^[171]	+	-	-	+/- ^[172]	+	-

Разное [править]

Возможность	Язык
Возможность	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	VB.NET	Delphi	Ocaml	PureBasic
Макросы	-/+	+ ^[173]	+ ^[173]	-	-	-	-/+	-	-	-	-	+/- ^[174]	+	+	+^[175]	-	-	+/-	-	-	+ ^[176]	-	-/+ ^[177]	+
Шаблоны/Generics	+	-	+	+	+	+	x ^[178]	+	+	+	x ^[178]	- ^[179]	x ^[178]	+	x ^[178]	x ^[178]	x ^[178]	x ^[178]	+	x ^[178]	+	+ ^[180]	+/-	?
Поддержка Unicode в идентификаторах	+	+ ^[181]	+ ^[182]	+	+	?	-	+	+	+	+	+	+^[183]	+	+/-	-/+	+ ^[184]	+ ^[185]	+	+	+	+	+	+
Перегрузка функций	+	-	+	+	+	-	+	+	+	+	-/+ ^[186]	+	+^[187]	+	- ^[188]	-	- ^[189]	-	+	?	+	+	+	-
Динамические переменные	?	-	-	?	?	?	-	?	?	?	?	+/-^[190]	+^[191]	?	+	-	-	?	?	?	+	?	?	-
Именованные параметры	+	-	-	+ ^[192]	-	-	-	+/-	+	-	-/+ ^[193]	-	+^[194]	+	+	-	+	+	+	-/+ ^[195]	+	-/+ ^[196]	+	-
Значения параметров по умолчанию	+	-	+	+ ^[192]	+	-	+/- ^[197]	-	+	-	-	-	+^[198]	+	+/- ^[199]	+	+	+	+	+/-	+	+	+	+
Локальные функции	+	-/+ ^[200]	+ ^[201]	+/-	+	-	+	+	-	+/- ^[202]	+	+	+^[203]	+	+/-	+	+	+	+	-	+/-	+	+	?
Сопоставление с образцом	-	-	-	+/-	-	-	+	+	-	-	-	+	+/-^[204]	+	+	-	- ^[189]	-	+	?	-	-	+	?
Контрактное программирование	-	-	-	+ ^[205]	+	+	?	+/- ^[205]	+/-	+/- ^[206]	?	+ ^[207]	+	+	?	-	+/-	+/-	?	?	+ ^[205]	-	-	?
Наличие библиотек для работы с графикой и мультимедия (OpenGL/WebGL/OpenML/OpenAL или DirectX)	?	+	+	+^[208]	?	?	?	+^[209]	?	+	+	+	?	?	?	-/+^[210]	+	?	+	?	+	+	?	?

Стандартизация [править]

Язык	Ada	C	C++	C#	D	Eiffel	Erlang	F#	Groovy	Java	JavaScript	Haskell	Common Lisp	Nemerle	Perl	PHP	Python	Ruby	Scala	Smalltalk	VB.NET	Delphi	OCaml	PureBasic
Стандарты	ISO ANSI ГОСТ	ISO ANSI	ISO	ISO ECMA	-	ISO ECMA	-	-	-	-	ECMA	Haskell 2010	ANSI	-	-	-	-	ISO	-	ANSI	-	-	-	-

Примечания [править]

↑ Императивный/Haskell. Монады позволяют выполнять императивные действия.
↑ Несмотря на отсутствие встроенных средств поддержки ООП, реализация объектно-ориентированного подхода возможна. В качестве наиболее ярких примеров можно привести библиотеки OpenGL, OpenCL, OpenMAX AL и т.п., которые реализуют именно ООП средствами языка С.
↑ ¹ ² ООП/Erlang. Можно провести параллель между процессами в Эрланге и объектами в определении Алана Кея [1].
↑ ООП/Javascript. Прототипная модель ООП.
↑ ООП/Haskell. Классы типов и семейства типов перекрывают возможности ООП.
↑ Пространства имен функций и данных разделены, для работы с функциями высших порядков используется специальный синтаксис
↑ рефлексия c++ не входит в стандарт, однако есть реализация с помощью метакомпилятора в Qt
↑ Логический/Haskell. Изначально инструментов для логического программирования не встроено, но есть сторонние библиотеки. Существует академический функционально-логический язык Curry, берущий Haskell за основу.
↑ Логический/Common Lisp. Логическая парадигма изначально в язык не встроена, но реализуется средствами языка.
↑ LINQ
↑ В языке существует множество декларативных конструкций, и, более того, возможность создавать свои, с помощью макросов.
↑ Декларативный/Perl. Только регулярные выражения.
↑ Распределённый/Ada. См. Annex E. Distributed Systems.
↑ ¹ ² Распределённый/C и C++. Многие распространённые компиляторы поддерживают директивы для распараллеливания в рамках технологий MPI и OpenMP.
↑ Распределённый/C#. Существуют проекты распределённых модификаций языка, например Parallel C#.
↑ Распределённый/Haskell. Модель языка подразумевает распределённое использование, при этом не требуя от программиста усилий на реализацию распределённости. Один из поддерживающих эту возможность компиляторов — Glasgow Distributed Haskell.
↑ ¹ ² ANSI стандарт языка предусматривает опциональные декларации типов, которые какие-либо конкретные реализации могут использовать по своему усмотрению. Большинство современных реализаций CL принимают декларации типов в расчет, и используют для статической проверки типов и в целях оптимизации.
↑ Статическая типизация/Perl. С версии 5.6. Только для не встроенных типов.
↑ Статическая типизация/Smalltalk. Возможность статической типизации есть в диалекте Smalltalk — Strongtalk'е.
↑ Динамическая типизация/C#. Посредством специального псевдо-типа dynamic с версии 4.0.
↑ Динамическая типизация/F#. Компилятор поддерживает синтаксический сахар в виде преобразования использования оператора (?) xml?name в вызов xml.op_Dynamic("name"), на базе чего может быть реализована имитация динамической типизации.
↑ Динамическая типизация/Haskell. Обеспечивается модулем Data.Dynamic.
↑ Динамическая типизация/VB.NET. Контролируемо с помощью Option Strict.
↑ Динамическая типизация/Delphi. Посредством специального типа Variant.
↑ Явная типизация/Erlang. Можно использовать т. н. type test BIFs. См. [2]
↑ Явная типизация/Perl. См. Prototypes в man perlsub.
↑ Явная типизация/Python. Частично в Python 3.0.
↑ Явная типизация/Smalltalk. Есть в Strongtalk.
↑ var, dynamic etc.
↑ Неявное приведение типов/Ada. См. 4.6 Type Conversions.
↑ Неявное приведение с потерей данных/Perl. При сложении строки с числом: $a = '5aa'; print $a + 0; Напечатает: 5
↑ Неявное приведение в неоднозначных ситуациях/Perl. Не совсем корректно, так как в Perl эти ситуации однозначны: 1 + "2" # 3 и 1 . "2" # "12"
↑ Макрос DEFTYPE
↑ ¹ ² Вывод типов/C++. Поддержка вывода типов имплементируется в C++0x сиспользованием ключевых слов [code]auto[/code] и [code]decltype[/code].
↑ ¹ ² ³ ⁴ Вывод типов/Common Lisp. Некоторые компиляторы Common Lisp, такие как SBCL, поддерживают частичный вывод типов.
↑ auto function = [&](int a){} в c++11
↑ Параметрический полиморфизм с ковариантностью/C#. Доступно начиная с C# 4.0 для типов интерфейсов и делегатов.
↑ Информация о типах в runtime/Ada. Точный тип узнать можно (Ada.Tags), но полной поддержки отражения в языке нет. Можно узнать имя, предков, интерфейсы, сериализовать объект, но нельзя запросить список методов.
↑ Информация о типах в runtime/С++. Можно сравнить типы на точное совпадение, узнать имя типа (typeid), приводить типы вниз по иерархии наследования.
↑ См. встроенную функцию ref и метод isa
↑ Open-source компилятор (интерпретатор)/Smalltalk. В любом диалекте Smalltalk исходники всего, кроме виртуальной машины, (то есть библиотека классов, компилятор в байткод, среда разработки, сторонние библиотеки и пр.) принципиально открыты — это свойство языка. Из основных диалектов исходники виртуальной машины открыты у GNU Smalltalk, Squeak и Strongtalk.
↑ Open-source компилятор (интерпретатор)/Delphi. FreePascal и Lazarus.
↑ Возможность компиляции/Erlang. HiPE — High Performance Erlang. Доступен только для *nix-систем.
↑ Существуют PHP-компиляторы, вполне корректно комилирующие любые PHP-скрипты. Например, Roadsend PHP Compiler.
↑ Возможность компиляции/Smalltalk. Стандартная реализация в Smalltalk — это прозрачная компиляция в байт-код (в момент сохранения изменённого исходного кода) с последующим исполнением на виртуальной машине, часто с использованием JIT-компилятора. Однако некоторые диалекты поддерживают прямую компиляцию в машинные коды. В частности, к таким диалектам относятся Smalltalk MT и Smalltalk/X.
↑ Bootstrapping-компилятор/Java. Java Compiler API появилось в версии 6.0.
↑ Narcissus.
↑ Например, SBCL
↑ Bootstrapping-компилятор/Python. Проект PyPy.
↑ Bootstrapping-компилятор/Smalltalk. Компилятор в байт-коды изначально написан на самом Smalltalk и исполняется внутри виртуальной машины. Кроме этого также есть примеры виртуальных машин Smalltalk, написанных на самом Smalltalk — к ним, в частности, относится виртуальная машина Squeak, написанная на подмножестве Smalltalk, которое потом транслируется в C и компилируется в машинные коды. При этом собственно разработка и отладка виртуальной машины Squeak осуществляется внутри работающей системы Squeak.
↑ Интерпретатор командной строки/Ada. Business Shell (BUSH).
↑ ¹ ² Интерпретатор командной строки/C++. C++ интерпретатор CINT.
↑ Планируется к версии 5.0 языка.
↑ Rhino Shell.
↑ В диалекте GNU Smalltalk реализована поддержка командной строки.
↑ Условная компиляция/Ada. Поскольку использование препроцессора существенно осложняет работу утилит, отличных от компилятора, работающих с исходными текстами, в стандарт эта возможность не входит. Здесь: Conditional Compilation описывается, как можно организовать условно компилируемый код. В качестве резервного варианта предоставляется препроцессор gnatprep.
↑ Условная компиляция/Java. Утверждения (операторы assert) всегда включаются компилятором в байт-код и могут быть разрешены (по умолчанию запрещены, то есть игнорируются) при запуске виртуальной машины ключом -ea/-enableassertion.
↑ [3].
↑ Макросы лиспа позволяют при компиляции вычислять произвольные выражения, включая, естественно, конструкции ветвлений. Кроме того, имеется также примерный аналог #ifdef из Си.[4][5]
↑ Компилятор должен решать, какие классы будут представлены «простыми» типами и будут, в том числе, размещаться в стеке.
↑ Создание объектов на стеке/Haskell. В GHC при помощи Unboxed Types / Unboxed Arrays.
↑ Стандарт языка предусматривает декларацию DYNAMIC-EXTENT, которая может трактоваться компилятором как указание выделить место под объект на стеке.
↑ Создание объектов на стеке/Delphi. В Delphi имеется 2 объектных модели — старая (унаследована из Turbo Pascal) и новая. Создание объектов на стеке возможно только в старой объектной модели.
↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ Через FFI (foreign function interface)
↑ Можно с помощью модуля стандартной библиотеки — ctypes.
↑ Неуправляемые указатели/Smalltalk. В Smalltalk есть возможность низкоуровневой работы с памятью, но только в адресном пространстве, предоставляемом виртуальной машиной.
↑ unsafe + System.Runtime.InteropServices
↑ Ручное управление памятью/Smalltalk. При низкоуровневой работе в пространстве памяти, предоставляемом виртуальной машиной, можно вручную создавать и удалять объекты, записывая данные в соответствующие адреса памяти. Аналогично можно вручную управлять размещением объектов в памяти.
↑ Сборка мусора/Ada. Только на некоторых платформах (.NET и JVM) или при помощи библиотек (AdaCL:GC). Тем не менее, практически все программы на Ada могут работать как с ним, так и без него. В этом смысле к сборке мусора применительно к Аде следует относиться не как к инженерному решению, а как к оптимизации управления памятью.
↑ Сборка мусора/C. В стандарте языка и в стандартных библиотеках нет сборки мусора. Однако существуют сборщики мусора для C и C++ в виде библиотек. Например, BoehmGC (англоязычный раздел).
↑ В новом стандарте C++0x предполагается сборка мусора для интеллектуальных указателей
↑ Сборка мусора/Delphi. Если не считать Delphi.NET.
↑ Инструкция goto/Java. Является зарезервированным словом.
↑ Специальный оператор GO. Все конструкции циклов в CL, фактически, являются макросами-надстройками над этой инструкцией.
↑ Целевая метка должна находиться в том же файле, в том же контексте. Имеется ввиду, что вы не можете ни перейти за границы функции или метода, ни перейти внутрь одной из них [6].
↑ Инструкция goto/Ruby. В языке goto нет, но есть библиотека реализующая его.
↑ Инструкция goto/Smalltalk. В стандарте языка goto нет, но существуют библиотеки, реализующие функциональность goto через управление стеком исполнения. Используются крайне редко, это скорее proof of concept (англ.).
↑ Макрос RETURN. Фактически, является частным случаем RETURN-FROM.
↑ заменяется исключениями, также реализуется с помощью Camlp4 http://code.google.com/p/ocaml-break-continue/
↑ Специальный оператор RETURN-FROM
↑ Принимает необязательный числовой аргумент, который сообщает ему выполнение какого количества вложенных структур необходимо прервать [7].
↑ Есть возможность указать число вложенных циклов, которые нужно прервать
↑ Можно либо повторить выполнение метода, либо пробросить исключение далее
↑ Java-style try-catch блок реализуется макросом handler-case. Кроме того, в возможности системы обработки исключений Common Lisp входит система т. н. перезапусков(restarts), которые позволяют обрабатывать исключения «изнутри» без раскрутки стека вызовов функций
↑ При помощи оператора eval
↑ ¹ ² ³ При использовании библиотеки PBOSL
↑ Блок finally/Ada. В стандарте языка finally нет, но существуют библиотеки, реализующие функциональность finally. Используются крайне редко, это скорее proof of concept (англ.).
↑ MDN — MDC
↑ Специальный оператор UNWIND-PROTECT
↑ реализуется на camlp4 http://bluestorm.info/camlp4/dev/try/pa_tryfinally.ml.html
↑ При помощи нескольких последовательных catch
↑ Java-style try-catch блок реализуется макросом handler-case. Кроме того, в возможности системы обработки исключений Common Lisp входит система т. н. перезапусков(restarts), которые позволяют обрабатывать исключения «сверху» без раскрутки стека вызовов функций
↑ При помощи eval or {…}
↑ Частично реализуются нестандартным модулем Runops::Resume
↑ Ключевое слово retry [8]
↑ Конструкции yield return, запросы LINQ, в FCL 4.0 войдёт тип Lazy.
↑ Seq-генераторы, модуль Lazy стандартной библиотеки F#.
↑ Однако, данную возможность можно реализовать на макросах
↑ Данная возможность реализована на макросах
↑ Ленивые вычисления/Ruby. В языке ленивых вычислений нет, но есть библиотека реализующая их.
↑ Конструкции Linq.
↑ модуль Lazy стандартной библиотеки Ocaml.
↑ setcontext et al. (UNIX System V and GNU libc)
↑ Реазилуется сторонними библиотеками, например cl-cont
↑ Только для байт-кода http://okmij.org/ftp/Computation/Continuations.html#caml-shift
↑ Легковесные процессы/Java. Вплоть до Java 1.1.
↑ Только в некоторых реализациях.
↑ Следует заметить что это не стандартные легкие процессы [9]
↑ Легковесные процессы/Python. Используя Stackless Python.
↑ Монадические потоки выполнения, реализованы в библиотеке Lwt
↑ Кортежи/C++. Реализуются в стандартной библиотеке (появились в TR1 (англоязычный раздел), до этого в boost). Кроме того, планируется поддержка кортежей в C++0x
↑ ¹ ² Кортежи/.NET. С помощью типов System.Tuple<T,...> введёных в FCL 4.0.
↑ ¹ ² Алгебраические типы данных/Ada и Delphi. Через механизм вариантных записей.
↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ В динамических языках механизм алгебраических типов данных не имеет смысла.
↑ ¹ ² Массивы/Haskell. С помощью Data.Array.
↑ Динамические массивы/C. «Из коробки» данной возможности нет, однако похожий функциональность можно реализовать, используя функцию realloc.
↑ Динамические массивы/Java. С помощью java.util.Vector (в стандартной библиотеке).
↑ Динамические массивы/Haskell. Реализованы в виде списков, соответствующих определению динамического массива.
↑ map и unordered_map в стандартной библиотеке
↑ Ассоциативные массивы/Java. С помощью java.util.HashMap (в стандартной библиотеке).
↑ Ассоциативные массивы/Haskell. С помощью Data.Map
↑ Контроль границы массивов/С++. Для массивов контроля нет, однако в контейнерах STL, таких как std::vector, std::array есть метод at с контролем границ.
↑ ¹ ² ³ Контроль границ массивов/Perl, PHP и JavaScript. В языке нет массивов со статическими границами, присваивание элементу за текущими границами массива просто расширяет границы массива.
↑ Контроль границ массивов/Ocaml. Можно отключить на этапе компиляции с помощью ключа -unsafe
↑ Цикл foreach/Ada. Методы Iterate и Reverse_Iterate различных контейнеров, входящих в библиотеку Ada.Containers.
↑ Цикл foreach/C++. В C++11 for(auto x : some_array){} — не может изменять элементы, for(auto& x : some_array){} — может изменять элементы.
↑ Цикл foreach/Erlang. В виде функции foreach/3 из модуля lists.
↑ Цикл foreach/JavaScript. С версии 1.6[10].
↑ Цикл foreach/Lisp. Макрос LOOP в составе стандартной библиотеки. Представляет собой «язык в языке» с большим количеством возможностей.
↑ List comprehensions/C#. «Query Comprehension» можно считать за List Comprehension только с большой натяжкой.
↑ LOOP et al.
↑ ¹ ² ³ Целые числа произвольной длины/.NET. Посредством типа System.Numerics.BigInteger, включенного в FCL версии 4.0.
↑ Целые числа произвольной длины/Java. С помощью классов BigInteger и BigDecimal.
↑ Для вычислений с произвольной точностью PHP предоставляет Двоичный калькулятор, который поддерживает числа любого размера и точности, представленные в виде строк [11] .
↑ Целые числа произвольной длины/Scala. С помощью классов BigInteger и BigDecimal.
↑ Целые числа произвольной длины/OCaml. В помощью модуля Num и Big_int.
↑ Пример: Тип (INTEGER 0 9) включает в себя все цифры от 0 до 9
↑ Целые числа произвольной длины/Perl. С помощью модуля Tie::Scalar.
↑ Интерфейсы традиционно реализуются структурами с указателями на функции, входящие в интерфейс. Пример реализации и использования - библиотеки OpenGL, OpenMAX AL и т.п..
↑ Множественное наследование абстрактных классов
↑ Похожая функциональность реализуется макросами и средствами CLOS.
↑ Через множественное наследование от классов с методами-заготовками. См. [12]
↑ Могут быть реализованы с помощью паттерна Visitor(Посетитель)
↑ Эмуляция через dynamic
↑ ¹ ² ³ ⁴ Реализуется сторонними библиотеками
↑ появятся(?) в Perl 6
↑ Могут быть реализованы с помощью наследования шаблонов Примесь_(программирование)#.D0.AD.D0.BC.D1.83.D0.BB.D1.8F.D1.86.D0.B8.D1.8F
↑ Groovy - Category and Mixin transformations
↑ Через множественное наследование и/или изменение атрибутов произвольного объекта во время выполнения
↑ Подмешивание реализации интерфейсов через ключевое слово implements. См. страницы 10-7 и 10-8 в Object Pascal Guide.
↑ Переименование членов при наследовании не поддерживается c++, однако можно сэмулировать через закрытое наследование, открывая члены, которые не нужно переименовать через директиву using, а если нужно переименовать — просто опредилить метод с новым названием и вызвать в нём метод родителя
↑ Только совместное использование посредством виртуального наследования
↑ Для каждого члена класса — выбор дублирование (через переименование), или слияние (иначе, если не было переопределения)
↑ CLHS: Section 4.3.5
↑ Functions — D Programming Language 2.0 — Digital Mars
↑ в форме указателей на функции
↑ std::function в c++0x
↑ ¹ ² Появились в Delphi2009, как анонимные функции. Ранее — через указатели.
↑ C++0x. Лямбда-выражения в C++0x
↑ Анонимные делегаты присутствуют в языке с версии 2.0. В C# 3.0 появились полноценные анонимные функции.
↑ Макрос LAMBDA
↑ С существенными ограничениями
↑ lambda-функции в c++0x поддерживают замыкания как по ссылке, так и по значению
↑ Через анонимные классы
↑ Начиная с версии 5.3
↑ Появились в Delphi2009, как анонимные функции.
↑ boost::bind, std::bind1st, std::bind2nd или сэмулировать с помощью анонимных функций
↑ Реализуется сторонними библиотеками, например Sub::Curry и Sub::Curried
↑ functools.partial в стандартной библиотеке начиная с Python 2.5
↑ с помощью lambda-функций в c++0x
↑ Proc#curry, появился в Ruby 1.9
↑ Начиная с Delphi 2009
↑ ¹ ² Макросы/C. Посредством препроцессора C.
↑ Макросы/Haskell. Template Haskell — препроцессор, встроенный в GHC.
↑ Фильтры [13], в том числе, C/C++ препроцессор Filter::cpp
↑ Встроенны в Visual Studio (нет в Express Edition)
↑ Штатный препроцессор camlp4
↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ Неприменимо в языках с динамической типизацией.
↑ Generics/Haskell. Прямых аналогов шаблонов в языке нет, однако имеются не менее мощные средства обобщенного программирования.
↑ Generics/Delphi. Доступно начиная с Delphi 2009.
↑ Unicode в идентификаторах/C. Доступно в компиляторах gcc начиная с 4.2
↑ Unicode в идентификаторах/C++. Доступно в компиляторах от MS, начиная с MSVS++ 2005 и в gcc начиная с 4.2
↑ В большинстве современных реализаций
↑ Unicode в идентификаторах/Python. Доступно начиная с Python 3.0.
↑ Unicode в идентификаторах/Ruby. Доступно начиная с Ruby 1.9.
↑ Перегрузка функций/JavaScript. Можно сымитировать, используя проверку передаваемых параметров с помощью рефлексии.
↑ Обобщенные функции можно перегружать по типам или значениям нескольких параметров
↑ Только перегрузка операторов [14].
↑ ¹ ² Перегрузка функций и сопоставление с образцом/Python. Реализовано в сторонней библиотеке PEAK-rules.
↑ implicit-parameters
↑ макросы DEFVAR и DEFPARAMETER, а также декларация SPECIAL, создают динамические биндинги.
↑ ¹ ² Именованные аргументы и параметры по умолчанию/C#. Доступно начиная с C# 4.0.
↑ Именованные параметры/JavaScript. Можно сымитировать, передав в качестве параметра функции объект: f ({param1: "value1", param2: "value2"}).
↑ Спецификатор «&key» в списке аргументов объявляемой функции объявляет именованный параметр.
↑ Именованные параметры/Smalltalk. Можно называть методы в стиле сделатьЧтоНибудьС:используя:и: — в таком случае двоеточия обозначают места, куда будут подставляться параметры при вызове метода, например сделатьЧтоНибудьС: парам1 используя: парам2 и: парам3. Названия подбирают таким образом, чтобы при вызове было понятно, для чего будут использоваться параметры.
↑ Именованные параметры/Delphi: Могут использоваться при вызове OLE: Word.Openfile(filename='1.doc')
↑ Значения параметров по умолчанию/Erlang. Можно сымитировать с помощью арности функции.
↑ «&key» и «&optional» параметры допускают значения по умолчанию
↑ Значения параметров по умолчанию/Perl. Можно элементарно сымитировать, см. [15].
↑ Локальные функции/С. Поддерживаются в компиляторе gcc как нестандартное расширение языка, см. [16].
↑ Локальные функции/С++. с помощью lambda-функций в c++0x
↑ Локальные функции/Java. Внутри метода можно определять безымянные (анонимные) локальные классы, которые фактически позволяют создавать экземпляры объектов, перекрывающие методы своего класса.
↑ Cпециальный оператор LABELS
↑ Макрос DESTRUCTURING-BIND и EQL спецификатор в обобщенных функциях можно рассматривать как аналоги некоторых подмножеств функциональности сопоставления с образцом.
↑ ¹ ² ³ Посредством библиотеки Code Contracts из состава FCL 4.0.
↑ Контрактное программирование/Java. На основе аннотаций Java 5, используя библиотеку OVal и аспектный компилятор AspectJ, а также iContract [17] .
↑ Контрактное программирование/Haskell. Посредством библиотеки QuickCheck.
↑ DirectX через Net, OpenGL через стороннюю библиотеку OpenTK
↑ DirectX через Net, OpenGL через стороннюю библиотеку OpenTK
↑ Существует реализация OpenGL библиотеки для php — phpOpenGL project (Зеркало на Github)

Терминология [править]

Парадигмы [править]

Императивная [править]

Противоположность декларативному. Императивный язык должен описывать не столько саму задачу (описание, «ЧТО» нужно получить), сколько её решение («КАК» получить). Некоторыми авторами считается, что данное определение скорее относится к «процедурной» парадигме, которая, помимо императивного, включает в себя функциональное программирование.

Объектно-ориентированная [править]

Основана на представлении всего в виде объектов, являющихся экземплярами того или иного класса и воплощает применение концепции абстрагирования. Объект при этом соединяет внутри себя как данные, так и методы, их обрабатывающие. Как правило, поддерживаются характерные возможности:наследование, инкапсуляцию и полиморфизм. Некоторыми авторами языки без наследования относят к просто «объектным».

Рефлексивная [править]

Наличие в языке мощных механизмов интроспекции, функции eval. Возможность программы на данном языке оперировать собственным кодом как данными.

Функциональная [править]

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

Обобщенное программирование [править]

Обобщенное программирование позволяет записывать алгоритмы, принимающие данные любого типа.

Логическая [править]

Программа представляет собой описание фактов и правил вывода в некотором логическом исчислении. Желаемый результат, который часто записывается как вопрос, получается системой в результате попытки применения описанных правил — путем логического вывода. Интересными особенностями являются отсутствие детерминированности в общем случае, внутренняя склонность к распараллеливанию.

Доказательная [править]

Направлен на разработку алгоритмов и программ с доказательствами их правильности с использованием спецификаций программ.

Декларативная [править]

Противоположность императивному. Декларативный язык описывает не столько решение задачи, сколько саму задачу («ЧТО» нужно получить), а каким образом получить решение, уже должен определять компьютер.

Распределенная [править]

Язык, содержащий специальные конструкции для поддержки распараллеливания программы на несколько компьютеров.

Типизация [править]

Статическая типизация [править]

(См. статическая типизация). Переменные и параметры методов/функций связываются с типами в момент объявления и не могут быть изменены позже.

Динамическая типизация [править]

(См. динамическая типизация). Переменные и параметры методов/функций связываются с типами в момент присваивания значения (или передачи параметра в метод/функцию), а не в момент объявления переменной или параметра. Одна и та же переменная в разные моменты может хранить значения разных типов.

Явная типизация [править]

Типы переменных и параметров указываются явно.

Неявная типизация [править]

Типы переменных и параметров не указываются явно. Неявная типизация может быть и статической, в таком случае типы переменных и параметров вычисляются компилятором.

Явное приведение типов [править]

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

Неявное приведение типов без потери данных [править]

Неявное приведение типов в таких ситуациях, где не происходит потери данных — например, использование целого числа там, где предполагалось использование числа с плавающей точкой.

Неявное приведение типов с потерей данных [править]

Неявное приведение типов в таких ситуациях, где может произойти потеря данных — например, использование числа с плавающей точкой там, где предполагалось использование целого числа.

Неявное приведение типов в неоднозначных ситуациях [править]

Например, использование строки там, где предполагалось число или наоборот. Классический пример: сложить число 1 со строкой «2» — результат может быть как число 3, так и строка «12». Другой пример — использование целого числа там, где ожидается логическое значение (boolean).

Алиасы типов [править]

Возможность определить видимый глобально (за пределами единицы компиляции) алиас типа, полностью эквивалентный исходному типу. Например, typedef в Си. Директива using в C# не подходит под этот критерий из-за локальной области действия.

Вывод типов переменных из инициализатора [править]

Возможность не указывать явно тип переменной, если для неё задан инициализатор. Если возможность действует для локальных переменных, но не действует для полей класса, все равно ставьте +. Характеристика не применима к языкам с динамической типизацией..

Вывод типов переменных из использования [править]

Возможность не указывать явно тип переменной, если её тип может быть выведен из дальнейшего использования. Если возможность действует для локальных переменных, но не действует для полей класса, все равно ставьте +. Характеристика не применима к языкам с динамической типизацией.

Вывод типов-аргументов при вызове метода [править]

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

Вывод сигнатуры для локальных функций [править]

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

Параметрический полиморфизм [править]

Наличие типобезопасного параметрического полиморфизма (aka generic types). Подразумевает возможность указывать constraints или type classes для типов-параметров.

Параметрический полиморфизм с ковариантностью [править]

Наличие ко- и контравариантных type parameters. В некоторых языках может быть лишь частичная поддержка (например, только в интерфейсах и делегатах). В таком случае, отмечайте +/-.

Параметрический полиморфизм высших порядков [править]

Возможность создавать type constructors высших порядков (как в Scala). См. Towards Equal Rights for Higher-kinded Types

Информация о типах в runtime [править]

Возможность узнать точный тип объекта в runtime.

Информация о типах-параметрах в runtime [править]

Возможность узнать в runtime информацию о типе, с которым инстанциирован generic-тип. Если язык не поддерживает generic-типы, то ставьте -. Если информация о типах стирается в runtime (используется erasure), то ставьте -.

Компилятор/интерпретатор [править]

Open-source компилятор (интерпретатор) [править]

Наличие полноценного open-source компилятора (для интерпретируемых языков — интерпретатора). Если существует open-source компилятор, но он поддерживает не все возможности языка, то ставьте +/- или -/+.

Возможность компиляции [править]

Возможность компиляции в нативный код или в byte-код с возможностью JIT-компиляции. Если язык компилируется в код на другом языке (например, C), который потом компилируется в нативный код, то тоже ставьте +.

Bootstrapping [править]

Наличие полноценного bootstrapping-компилятора (то есть компилятора, написанного на том же языке, который он компилирует, и успешно компилирующего самого себя). Если существует bootstrapping-компилятор, но он поддерживает не все возможности языка, то ставьте +/- или -/+.

Многопоточная компиляция [править]

Возможность компилятора на многопроцессорных системах использовать несколько потоков для ускорения компиляции. Если язык не поддерживает компиляцию, то ставьте x (неприменимо).

Интерпретатор командной строки [править]

Возможность вводить инструкции языка строка за строкой с их немедленным выполнением. Может использоваться в качестве калькулятора.

Условная компиляция [править]

Возможность включать/выключать части кода в зависимости от значения символов условной компиляции (например, с помощью #if … #endif в C++)

Управление памятью [править]

Объекты на стеке [править]

Возможность создавать экземпляры объектов не в куче, а на стеке.

Неуправляемые указатели [править]

Наличие неуправляемых указателей, адресная арифметика, прямой доступ к памяти.

Ручное управление памятью [править]

Возможность явного выделения и освобождения памяти в куче (например, с помощью операторов new и delete в C++).

Сборка мусора [править]

Возможность использовать автоматический процесс сборки мусора (освобождения памяти в куче, занятой неиспользуемыми объектами).

Управление потоком вычислений [править]

Инструкция goto [править]

Поддержка инструкции goto (безусловный переход на метку).

Инструкция break без метки [править]

Поддержка инструкции break без метки (безусловный выход из ближайшего цикла), и соответствующей инструкции continue. Наличие в языке инструкции break, относящегося к switch или другой конструкции, не влияет на это поле.

Инструкция break с меткой [править]

Поддержка инструкции break с меткой (безусловный выход из цикла, помеченного меткой), и соответствующей инструкции continue. Наличие в языке инструкции break, относящегося к switch или другой конструкции, не влияет на это поле.

Поддержка try/catch [править]

Поддержка обработки исключений с помощью try/catch или эквивалентной конструкции.

Блок finally [править]

Поддержка блока finally при обработке исключений или эквивалентной конструкции.

Блок else (исключения) [править]

Поддержка блока else при обработке исключений (действия, выполняющиеся при завершении блока try без исключения).

Перезапуски [править]

Исключения, не раскручивающие стек вызовов. Возможность из места перехвата исключения вернуться в место установки перезапуска.

Легковесные процессы [править]

Эмуляция многопоточности рантаймом самого языка. В пределах одного (или нескольких) потока ОС выполняется множество потоков исходного кода

Типы и структуры данных [править]

Многомерные массивы [править]

Наличие встроенных в язык многомерных массивов. Если язык поддерживает только массивы массивов, ставьте +/-

Динамические массивы [править]

Наличие встроенных в язык динамических массивов (способных изменять свой размер во время выполнения программы). Если динамические массивы представлены только векторами (то есть только одномерными массивами) или векторами векторов, ставьте +/-

Ассоциативные массивы [править]

Наличие встроенных в язык ассоциативных массивов или хэш-таблиц.

Цикл foreach [править]

Наличие возможности перебрать все элементы коллекции с помощью цикла foreach. Если в языке есть эквивалентная или более сильная возможность (наподобие list comprehensions), ставьте +.

List comprehensions [править]

Наличие List comprehensions (или аналога).

Кортежи [править]

Возможность вернуть из функции/метода кортеж (tuple) — неименованный тип данных, содержащий несколько безымянных полей произвольного типа.

Целые числа произвольной длины [править]

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

Целые числа с контролем границ [править]

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

Объектно-ориентированные возможности [править]

Интерфейсы [править]

Семантическая и синтаксическая конструкция в коде программы, используемая для специфицирования услуг, предоставляемых классом.

Множественное наследование [править]

Возможность наследовать класс сразу от нескольких классов (не интерфейсов).

Мультиметоды [править]

Динамическая (run time) диспетчеризация функции в зависимости от типов нескольких аргументов.
В языках с «message passing» ООП похожая функциональность реализуется паттерном «Visitor».

Переименование членов при наследовании [править]

Возможность в наследнике изменить имя поля/метода предка.

Решение конфликта имен при множественном наследовании [править]

При множественном наследовании — решение для случая ромбовидного наследования (B потомок A, C потомок A, D потомок B и C). Решение может приниматься как для всего класса, так и для каждого поля/метода в отдельности.

Функциональные возможности [править]

First class functions [править]

Функции в данном языке являются объектами первого класса.

Лексические замыкания [править]

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

Частичное применение [править]

Возможность фиксировать часть аргументов функции, то есть имея функцию $f \colon (A \times B) \to C$ , создать функцию $P(f, a) \colon B \to C$ , где $(P(f, a))(b) = f(a, b)$ . Не следует путать с каррированием (оператор каррирования — один из вариантов реализации частичного применения).

Разное [править]

Макросы [править]

Наличие в языке макро-системы, обрабатывающей код программы до времени её компиляции и/или выполнения. Например, макросы Лиспа, препроцессор Си или шаблоны С++.

Шаблоны/Generics [править]

Наличие в данном статически типизированном языке инструмента для обобщенного программирования, наподобие templates в C++ или generics в C#.

Поддержка Unicode в идентификаторах [править]

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

Перегрузка функций [править]

Возможность перегрузки функций/методов по количеству и типам параметров.

Динамические переменные [править]

Возможность создавать переменные, имеющие динамическую область видимости (англ.).

Именованные параметры [править]

Возможность при вызове функции/метода указывать имена параметров и менять их местами.

Значения параметров по умолчанию [править]

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

Локальные функции [править]

Возможность определять локальную функцию внутри другой функции/метода. Подразумевается возможность использовать внутри локальной функции локальные переменные из внешнего блока.

Сопоставление с образцом [править]

Наличие сопоставления с образцом.

Контрактное программирование [править]

Возможность задавать пред- и пост-условия для методов и инварианты для классов.

Ссылки [править]

[1] Императивный/Haskell. Монады позволяют выполнять императивные действия.

[2] Несмотря на отсутствие встроенных средств поддержки ООП, реализация объектно-ориентированного подхода возможна. В качестве наиболее ярких примеров можно привести библиотеки OpenGL, OpenCL, OpenMAX AL и т.п., которые реализуют именно ООП средствами языка С.

[autogenerated4-3] ¹ ² ООП/Erlang. Можно провести параллель между процессами в Эрланге и объектами в определении Алана Кея [1].

[4] ООП/Javascript. Прототипная модель ООП.

[5] ООП/Haskell. Классы типов и семейства типов перекрывают возможности ООП.

[6] Пространства имен функций и данных разделены, для работы с функциями высших порядков используется специальный синтаксис

[7] рефлексия c++ не входит в стандарт, однако есть реализация с помощью метакомпилятора в Qt

[8] Логический/Haskell. Изначально инструментов для логического программирования не встроено, но есть сторонние библиотеки. Существует академический функционально-логический язык Curry, берущий Haskell за основу.

[9] Логический/Common Lisp. Логическая парадигма изначально в язык не встроена, но реализуется средствами языка.

[10] LINQ

[11] В языке существует множество декларативных конструкций, и, более того, возможность создавать свои, с помощью макросов.

[12] Декларативный/Perl. Только регулярные выражения.

[13] Распределённый/Ada. См. Annex E. Distributed Systems.

[cpp-distributed-14] ¹ ² Распределённый/C и C++. Многие распространённые компиляторы поддерживают директивы для распараллеливания в рамках технологий MPI и OpenMP.

[15] Распределённый/C#. Существуют проекты распределённых модификаций языка, например Parallel C#.

[16] Распределённый/Haskell. Модель языка подразумевает распределённое использование, при этом не требуя от программиста усилий на реализацию распределённости. Один из поддерживающих эту возможность компиляторов — Glasgow Distributed Haskell.

[lisp-type-declarations-17] ¹ ² ANSI стандарт языка предусматривает опциональные декларации типов, которые какие-либо конкретные реализации могут использовать по своему усмотрению. Большинство современных реализаций CL принимают декларации типов в расчет, и используют для статической проверки типов и в целях оптимизации.

[18] Статическая типизация/Perl. С версии 5.6. Только для не встроенных типов.

[19] Статическая типизация/Smalltalk. Возможность статической типизации есть в диалекте Smalltalk — Strongtalk'е.

[20] Динамическая типизация/C#. Посредством специального псевдо-типа dynamic с версии 4.0.

[21] Динамическая типизация/F#. Компилятор поддерживает синтаксический сахар в виде преобразования использования оператора (?) xml?name в вызов xml.op_Dynamic("name"), на базе чего может быть реализована имитация динамической типизации.

[22] Динамическая типизация/Haskell. Обеспечивается модулем Data.Dynamic.

[23] Динамическая типизация/VB.NET. Контролируемо с помощью Option Strict.

[24] Динамическая типизация/Delphi. Посредством специального типа Variant.

[25] Явная типизация/Erlang. Можно использовать т. н. type test BIFs. См. [2]

[26] Явная типизация/Perl. См. Prototypes в man perlsub.

[27] Явная типизация/Python. Частично в Python 3.0.

[28] Явная типизация/Smalltalk. Есть в Strongtalk.

[29] var, dynamic etc.

[30] Неявное приведение типов/Ada. См. 4.6 Type Conversions.

[31] Неявное приведение с потерей данных/Perl. При сложении строки с числом: $a = '5aa'; print $a + 0; Напечатает: 5

[32] Неявное приведение в неоднозначных ситуациях/Perl. Не совсем корректно, так как в Perl эти ситуации однозначны: 1 + "2" # 3 и 1 . "2" # "12"

[33] Макрос DEFTYPE

[cpp-type-inference-34] ¹ ² Вывод типов/C++. Поддержка вывода типов имплементируется в C++0x сиспользованием ключевых слов [code]auto[/code] и [code]decltype[/code].

[lisp-type-inference-35] ¹ ² ³ ⁴ Вывод типов/Common Lisp. Некоторые компиляторы Common Lisp, такие как SBCL, поддерживают частичный вывод типов.

[36] uto function = [&](int a){} в c++11

[37] Параметрический полиморфизм с ковариантностью/C#. Доступно начиная с C# 4.0 для типов интерфейсов и делегатов.

[38] Информация о типах в runtime/Ada. Точный тип узнать можно (Ada.Tags), но полной поддержки отражения в языке нет. Можно узнать имя, предков, интерфейсы, сериализовать объект, но нельзя запросить список методов.

[39] Информация о типах в runtime/С++. Можно сравнить типы на точное совпадение, узнать имя типа (typeid), приводить типы вниз по иерархии наследования.

[40] См. встроенную функцию ref и метод isa

[smalltalk-open-source-41] Open-source компилятор (интерпретатор)/Smalltalk. В любом диалекте Smalltalk исходники всего, кроме виртуальной машины, (то есть библиотека классов, компилятор в байткод, среда разработки, сторонние библиотеки и пр.) принципиально открыты — это свойство языка. Из основных диалектов исходники виртуальной машины открыты у GNU Smalltalk, Squeak и Strongtalk.

[delphi-open-source-42] Open-source компилятор (интерпретатор)/Delphi. FreePascal и Lazarus.

[hipe-43] Возможность компиляции/Erlang. HiPE — High Performance Erlang. Доступен только для *nix-систем.

[php-compiling-44] Существуют PHP-компиляторы, вполне корректно комилирующие любые PHP-скрипты. Например, Roadsend PHP Compiler.

[smalltalk-compiling-45] Возможность компиляции/Smalltalk. Стандартная реализация в Smalltalk — это прозрачная компиляция в байт-код (в момент сохранения изменённого исходного кода) с последующим исполнением на виртуальной машине, часто с использованием JIT-компилятора. Однако некоторые диалекты поддерживают прямую компиляцию в машинные коды. В частности, к таким диалектам относятся Smalltalk MT и Smalltalk/X.

[java-compiler-api-46] Bootstrapping-компилятор/Java. Java Compiler API появилось в версии 6.0.

[javascript-bootstrapping-47] Narcissus.

[48] Например, SBCL

[python_bootstrapping-49] Bootstrapping-компилятор/Python. Проект PyPy.

[smalltalk-bootstrapping-compiler-50] Bootstrapping-компилятор/Smalltalk. Компилятор в байт-коды изначально написан на самом Smalltalk и исполняется внутри виртуальной машины. Кроме этого также есть примеры виртуальных машин Smalltalk, написанных на самом Smalltalk — к ним, в частности, относится виртуальная машина Squeak, написанная на подмножестве Smalltalk, которое потом транслируется в C и компилируется в машинные коды. При этом собственно разработка и отладка виртуальной машины Squeak осуществляется внутри работающей системы Squeak.

[ada_cmdline_interpreter-51] Интерпретатор командной строки/Ada. Business Shell (BUSH).

[cpp_interpreter-52] ¹ ² Интерпретатор командной строки/C++. C++ интерпретатор CINT.

[csharp_interpreter-53] Планируется к версии 5.0 языка.

[js_commandline-54] Rhino Shell.

[smalltalk-command-line-55] В диалекте GNU Smalltalk реализована поддержка командной строки.

[ada_conditional-56] Условная компиляция/Ada. Поскольку использование препроцессора существенно осложняет работу утилит, отличных от компилятора, работающих с исходными текстами, в стандарт эта возможность не входит. Здесь: Conditional Compilation описывается, как можно организовать условно компилируемый код. В качестве резервного варианта предоставляется препроцессор gnatprep.

[java-assert-57] Условная компиляция/Java. Утверждения (операторы assert) всегда включаются компилятором в байт-код и могут быть разрешены (по умолчанию запрещены, то есть игнорируются) при запуске виртуальной машины ключом -ea/-enableassertion.

[JS-compile-58] [3].

[59] Макросы лиспа позволяют при компиляции вычислять произвольные выражения, включая, естественно, конструкции ветвлений. Кроме того, имеется также примерный аналог #ifdef из Си.[4][5]

[eiffel_stack-60] Компилятор должен решать, какие классы будут представлены «простыми» типами и будут, в том числе, размещаться в стеке.

[haskell-stack-objects-61] Создание объектов на стеке/Haskell. В GHC при помощи Unboxed Types / Unboxed Arrays.

[62] Стандарт языка предусматривает декларацию DYNAMIC-EXTENT, которая может трактоваться компилятором как указание выделить место под объект на стеке.

[delphi-stack-objects-63] Создание объектов на стеке/Delphi. В Delphi имеется 2 объектных модели — старая (унаследована из Turbo Pascal) и новая. Создание объектов на стеке возможно только в старой объектной модели.

[FFI-64] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ Через FFI (foreign function interface)

[python-pointer-65] Можно с помощью модуля стандартной библиотеки — ctypes.

[smalltalk-unmanaged-pointers-66] Неуправляемые указатели/Smalltalk. В Smalltalk есть возможность низкоуровневой работы с памятью, но только в адресном пространстве, предоставляемом виртуальной машиной.

[67] unsafe + System.Runtime.InteropServices

[smalltalk-manual-memory-management-68] Ручное управление памятью/Smalltalk. При низкоуровневой работе в пространстве памяти, предоставляемом виртуальной машиной, можно вручную создавать и удалять объекты, записывая данные в соответствующие адреса памяти. Аналогично можно вручную управлять размещением объектов в памяти.

[ada-garbage-collector-69] Сборка мусора/Ada. Только на некоторых платформах (.NET и JVM) или при помощи библиотек (AdaCL:GC). Тем не менее, практически все программы на Ada могут работать как с ним, так и без него. В этом смысле к сборке мусора применительно к Аде следует относиться не как к инженерному решению, а как к оптимизации управления памятью.

[c-cpp-garbage-collector-70] Сборка мусора/C. В стандарте языка и в стандартных библиотеках нет сборки мусора. Однако существуют сборщики мусора для C и C++ в виде библиотек. Например, BoehmGC (англоязычный раздел).

[71] В новом стандарте C++0x предполагается сборка мусора для интеллектуальных указателей

[delphi-garbage-collector-72] Сборка мусора/Delphi. Если не считать Delphi.NET.

[java-goto-73] Инструкция goto/Java. Является зарезервированным словом.

[74] Специальный оператор GO. Все конструкции циклов в CL, фактически, являются макросами-надстройками над этой инструкцией.

[php-goto-75] Целевая метка должна находиться в том же файле, в том же контексте. Имеется ввиду, что вы не можете ни перейти за границы функции или метода, ни перейти внутрь одной из них [6].

[ruby-goto-76] Инструкция goto/Ruby. В языке goto нет, но есть библиотека реализующая его.

[smalltalk-goto-77] Инструкция goto/Smalltalk. В стандарте языка goto нет, но существуют библиотеки, реализующие функциональность goto через управление стеком исполнения. Используются крайне редко, это скорее proof of concept (англ.).

[78] Макрос RETURN. Фактически, является частным случаем RETURN-FROM.

[79] заменяется исключениями, также реализуется с помощью Camlp4 http://code.google.com/p/ocaml-break-continue/

[80] Специальный оператор RETURN-FROM

[php-break-81] Принимает необязательный числовой аргумент, который сообщает ему выполнение какого количества вложенных структур необходимо прервать [7].

[82] Есть возможность указать число вложенных циклов, которые нужно прервать

[eiffel-try-cacth-83] Можно либо повторить выполнение метода, либо пробросить исключение далее

[Lisp-conditions-84] Java-style try-catch блок реализуется макросом handler-case. Кроме того, в возможности системы обработки исключений Common Lisp входит система т. н. перезапусков(restarts), которые позволяют обрабатывать исключения «изнутри» без раскрутки стека вызовов функций

[perl-try-cacth-85] При помощи оператора eval

[autogenerated1-86] ¹ ² ³ При использовании библиотеки PBOSL

[ada-finally-87] Блок finally/Ada. В стандарте языка finally нет, но существуют библиотеки, реализующие функциональность finally. Используются крайне редко, это скорее proof of concept (англ.).

[js_finally-88] MDN — MDC

[89] Специальный оператор UNWIND-PROTECT

[90] реализуется на camlp4 http://bluestorm.info/camlp4/dev/try/pa_tryfinally.ml.html

[java-try-cacth-catch-91] При помощи нескольких последовательных catch

[autogenerated3-92] Java-style try-catch блок реализуется макросом handler-case. Кроме того, в возможности системы обработки исключений Common Lisp входит система т. н. перезапусков(restarts), которые позволяют обрабатывать исключения «сверху» без раскрутки стека вызовов функций

[perl-try-cacth-or-93] При помощи eval or {…}

[perl-resumable-exceptions-94] Частично реализуются нестандартным модулем Runops::Resume

[rype-retry-95] Ключевое слово retry [8]

[csharp-lazy-96] Конструкции yield return, запросы LINQ, в FCL 4.0 войдёт тип Lazy.

[fsharp-lazy-97] Seq-генераторы, модуль Lazy стандартной библиотеки F#.

[98] Однако, данную возможность можно реализовать на макросах

[99] Данная возможность реализована на макросах

[ruby-lazy-100] Ленивые вычисления/Ruby. В языке ленивых вычислений нет, но есть библиотека реализующая их.

[.D0.9A.D0.BE.D0.BD.D1.81.D1.82.D1.80.D1.83.D0.BA.D1.86.D0.B8.D0.B8_Linq-101] Конструкции Linq.

[ocaml-lazy-102] модуль Lazy стандартной библиотеки Ocaml.

[103] setcontext et al. (UNIX System V and GNU libc)

[104] Реазилуется сторонними библиотеками, например cl-cont

[105] Только для байт-кода http://okmij.org/ftp/Computation/Continuations.html#caml-shift

[java-green-threads-106] Легковесные процессы/Java. Вплоть до Java 1.1.

[107] Только в некоторых реализациях.

[perl-lightweights-threads-108] Следует заметить что это не стандартные легкие процессы [9]

[python-green-threads-109] Легковесные процессы/Python. Используя Stackless Python.

[ocaml-green-threads-110] Монадические потоки выполнения, реализованы в библиотеке Lwt

[cpp-tuples-111] Кортежи/C++. Реализуются в стандартной библиотеке (появились в TR1 (англоязычный раздел), до этого в boost). Кроме того, планируется поддержка кортежей в C++0x

[dotnet-tuples-112] ¹ ² Кортежи/.NET. С помощью типов System.Tuple<T,...> введёных в FCL 4.0.

[adt-variant-113] ¹ ² Алгебраические типы данных/Ada и Delphi. Через механизм вариантных записей.

[adt-dynamic-114] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ В динамических языках механизм алгебраических типов данных не имеет смысла.

[haskell-range-check-115] ¹ ² Массивы/Haskell. С помощью Data.Array.

[116] Динамические массивы/C. «Из коробки» данной возможности нет, однако похожий функциональность можно реализовать, используя функцию realloc.

[117] Динамические массивы/Java. С помощью java.util.Vector (в стандартной библиотеке).

[118] Динамические массивы/Haskell. Реализованы в виде списков, соответствующих определению динамического массива.

[119] и unordered_map в стандартной библиотеке

[120] Ассоциативные массивы/Java. С помощью java.util.HashMap (в стандартной библиотеке).

[121] Ассоциативные массивы/Haskell. С помощью Data.Map

[122] Контроль границы массивов/С++. Для массивов контроля нет, однако в контейнерах STL, таких как std::vector, std::array есть метод at с контролем границ.

[perl-php-range-check-123] ¹ ² ³ Контроль границ массивов/Perl, PHP и JavaScript. В языке нет массивов со статическими границами, присваивание элементу за текущими границами массива просто расширяет границы массива.

[124] Контроль границ массивов/Ocaml. Можно отключить на этапе компиляции с помощью ключа -unsafe

[ada-foreach-125] Цикл foreach/Ada. Методы Iterate и Reverse_Iterate различных контейнеров, входящих в библиотеку Ada.Containers.

[.D0.A1.2B.2B-foreach-126] Цикл foreach/C++. В C++11 for(auto x : some_array){} — не может изменять элементы, for(auto& x : some_array){} — может изменять элементы.

[erlang-foreach-127] Цикл foreach/Erlang. В виде функции foreach/3 из модуля lists.

[javascript-foreach-128] Цикл foreach/JavaScript. С версии 1.6[10].

[lisp-foreach-129] Цикл foreach/Lisp. Макрос LOOP в составе стандартной библиотеки. Представляет собой «язык в языке» с большим количеством возможностей.

[130] List comprehensions/C#. «Query Comprehension» можно считать за List Comprehension только с большой натяжкой.

[131] LOOP et al.

[dotnet-bignum-132] ¹ ² ³ Целые числа произвольной длины/.NET. Посредством типа System.Numerics.BigInteger, включенного в FCL версии 4.0.

[133] Целые числа произвольной длины/Java. С помощью классов BigInteger и BigDecimal.

[134] Для вычислений с произвольной точностью PHP предоставляет Двоичный калькулятор, который поддерживает числа любого размера и точности, представленные в виде строк [11] .

[135] Целые числа произвольной длины/Scala. С помощью классов BigInteger и BigDecimal.

[136] Целые числа произвольной длины/OCaml. В помощью модуля Num и Big_int.

[137] Пример: Тип (INTEGER 0 9) включает в себя все цифры от 0 до 9

[138] Целые числа произвольной длины/Perl. С помощью модуля Tie::Scalar.

[139] Интерфейсы традиционно реализуются структурами с указателями на функции, входящие в интерфейс. Пример реализации и использования - библиотеки OpenGL, OpenMAX AL и т.п..

[140] Множественное наследование абстрактных классов

[141] Похожая функциональность реализуется макросами и средствами CLOS.

[142] Через множественное наследование от классов с методами-заготовками. См. [12]

[143] Могут быть реализованы с помощью паттерна Visitor(Посетитель)

[144] Эмуляция через dynamic

[Java-Perl-Python-Ruby_multiple_dispatch-145] ¹ ² ³ ⁴ Реализуется сторонними библиотеками

[146] появятся(?) в Perl 6

[147] Могут быть реализованы с помощью наследования шаблонов Примесь_(программирование)#.D0.AD.D0.BC.D1.83.D0.BB.D1.8F.D1.86.D0.B8.D1.8F

[148] Groovy - Category and Mixin transformations

[149] Через множественное наследование и/или изменение атрибутов произвольного объекта во время выполнения

[delphi-mixin-150] Подмешивание реализации интерфейсов через ключевое слово implements. См. страницы 10-7 и 10-8 в Object Pascal Guide.

[151] Переименование членов при наследовании не поддерживается c++, однако можно сэмулировать через закрытое наследование, открывая члены, которые не нужно переименовать через директиву using, а если нужно переименовать — просто опредилить метод с новым названием и вызвать в нём метод родителя

[cpp-dual-inherit-152] Только совместное использование посредством виртуального наследования

[eiffel-dual-inherit-153] Для каждого члена класса — выбор дублирование (через переименование), или слияние (иначе, если не было переопределения)

[154] CLHS: Section 4.3.5

[155] Functions — D Programming Language 2.0 — Digital Mars

[156] в форме указателей на функции

[157] std::function в c++0x

[delphi-func-pointer-158] ¹ ² Появились в Delphi2009, как анонимные функции. Ранее — через указатели.

[159] C++0x. Лямбда-выражения в C++0x

[160] Анонимные делегаты присутствуют в языке с версии 2.0. В C# 3.0 появились полноценные анонимные функции.

[161] Макрос LAMBDA

[162] С существенными ограничениями

[163] -функции в c++0x поддерживают замыкания как по ссылке, так и по значению

[164] Через анонимные классы

[165] Начиная с версии 5.3

[delphi-lexical-closure-166] Появились в Delphi2009, как анонимные функции.

[167] st::bind, std::bind1st, std::bind2nd или сэмулировать с помощью анонимных функций

[168] Реализуется сторонними библиотеками, например Sub::Curry и Sub::Curried

[169] unctools.partial в стандартной библиотеке начиная с Python 2.5

[170] с помощью lambda-функций в c++0x

[171] Proc#curry, появился в Ruby 1.9

[172] Начиная с Delphi 2009

[autogenerated2-173] ¹ ² Макросы/C. Посредством препроцессора C.

[174] Макросы/Haskell. Template Haskell — препроцессор, встроенный в GHC.

[175] Фильтры [13], в том числе, C/C++ препроцессор Filter::cpp

[176] Встроенны в Visual Studio (нет в Express Edition)

[177] Штатный препроцессор camlp4

[generics_dyn-178] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ Неприменимо в языках с динамической типизацией.

[179] Generics/Haskell. Прямых аналогов шаблонов в языке нет, однако имеются не менее мощные средства обобщенного программирования.

[180] Generics/Delphi. Доступно начиная с Delphi 2009.

[181] Unicode в идентификаторах/C. Доступно в компиляторах gcc начиная с 4.2

[182] Unicode в идентификаторах/C++. Доступно в компиляторах от MS, начиная с MSVS++ 2005 и в gcc начиная с 4.2

[183] В большинстве современных реализаций

[184] Unicode в идентификаторах/Python. Доступно начиная с Python 3.0.

[185] Unicode в идентификаторах/Ruby. Доступно начиная с Ruby 1.9.

[186] Перегрузка функций/JavaScript. Можно сымитировать, используя проверку передаваемых параметров с помощью рефлексии.

[187] Обобщенные функции можно перегружать по типам или значениям нескольких параметров

[perl_peak-188] Только перегрузка операторов [14].

[python_peak-189] ¹ ² Перегрузка функций и сопоставление с образцом/Python. Реализовано в сторонней библиотеке PEAK-rules.

[190] t-parameters

[191] макросы DEFVAR и DEFPARAMETER, а также декларация SPECIAL, создают динамические биндинги.

[charp_args-192] ¹ ² Именованные аргументы и параметры по умолчанию/C#. Доступно начиная с C# 4.0.

[193] Именованные параметры/JavaScript. Можно сымитировать, передав в качестве параметра функции объект: f ({param1: "value1", param2: "value2"}).

[194] Спецификатор «&key» в списке аргументов объявляемой функции объявляет именованный параметр.

[195] Именованные параметры/Smalltalk. Можно называть методы в стиле сделатьЧтоНибудьС:используя:и: — в таком случае двоеточия обозначают места, куда будут подставляться параметры при вызове метода, например сделатьЧтоНибудьС: парам1 используя: парам2 и: парам3. Названия подбирают таким образом, чтобы при вызове было понятно, для чего будут использоваться параметры.

[196] Именованные параметры/Delphi: Могут использоваться при вызове OLE: Word.Openfile(filename='1.doc')

[197] Значения параметров по умолчанию/Erlang. Можно сымитировать с помощью арности функции.

[198] «&key» и «&optional» параметры допускают значения по умолчанию

[199] Значения параметров по умолчанию/Perl. Можно элементарно сымитировать, см. [15].

[200] Локальные функции/С. Поддерживаются в компиляторе gcc как нестандартное расширение языка, см. [16].

[201] Локальные функции/С++. с помощью lambda-функций в c++0x

[java-anonymous-class-202] Локальные функции/Java. Внутри метода можно определять безымянные (анонимные) локальные классы, которые фактически позволяют создавать экземпляры объектов, перекрывающие методы своего класса.

[203] Cпециальный оператор LABELS

[204] Макрос DESTRUCTURING-BIND и EQL спецификатор в обобщенных функциях можно рассматривать как аналоги некоторых подмножеств функциональности сопоставления с образцом.

[dotnet-contract-205] ¹ ² ³ Посредством библиотеки Code Contracts из состава FCL 4.0.

[206] Контрактное программирование/Java. На основе аннотаций Java 5, используя библиотеку OVal и аспектный компилятор AspectJ, а также iContract [17] .

[207] Контрактное программирование/Haskell. Посредством библиотеки QuickCheck.

[208] DirectX через Net, OpenGL через стороннюю библиотеку OpenTK

[209] DirectX через Net, OpenGL через стороннюю библиотеку OpenTK

[210] Существует реализация OpenGL библиотеки для php — phpOpenGL project (Зеркало на Github)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[50]

[51]

[52]

[53]

[54]

[55]

[56]

[57]

[58]

[59]

[60]

[61]

[62]

[63]

[64]

[65]

[66]

[67]

[68]

[69]

[70]

[71]

[72]

[73]

[74]

[75]

[76]

[77]

[78]

[79]

[80]

[81]

[82]

[83]

[84]

[85]

[86]

[87]

[88]

[89]

[90]

[91]

[92]

[93]

[94]

[95]

[96]

[97]

[98]

[99]

[100]

Основные языки программирования (сравнение • IDE • история • хронология)
Используемые в разработке	Ада • APL • Язык ассемблера • ActionScript • ABAP/4 • AutoIt • AWK • Бейсик • Си • Кобол • C++ • C# • Cω • Clarion • Clojure • ColdFusion • Common Lisp • D • dBase • Delphi • Eiffel • Erlang • Euphoria • F# • Форт • Фортран • Gambas • Go • Groovy • HAL/S • Haskell • Icon • Java • JavaScript • Limbo • Lua • Модула-3 • Object Pascal • Objective-C • OCaml • Oz • Parser • Паскаль • Компонентный Паскаль • Perl • PHP • PowerBASIC • Python • ПЛ/1 • Пролог • Ruby • Scala • Scheme • Smalltalk • SQL • PL/SQL • Tcl • Vala • Visual Basic (.NET)
Академические	Agda • Clean • Curry • Лого • ML • РЕФАЛ • Симула • Оберон
IEC 61131-3	Instruction List • ST • FBD • Ladder Diagram (LD) • SFC
Прочие	Алгол • Алгол 68 • Модула-2 • Миранда • Hope
Эзотерические	HQ9+/HQ9++ • INTERCAL • Brainfuck • Befunge • Malbolge • Piet • Spoon • Unlambda • Whitespace • FALSE • LOLCODE
Визуальные	G (LabVIEW) • Microsoft VPL • Sikuli • VisSim • Алиса • ДРАКОН • Скретч

Сравнения языков программирования
Общее сравнение
Основной синтаксис
Основные инструкции
Массивы
Ассоциативные массивы
Операции со строками
Строковые функции
List comprehension
Объектно-ориентированное программирование
Объектно-ориентированные конструкторы
Доступ к базам данных
СУБД баз данных
Оценка стратегии
Список программ «hello world»

Влияние ALGOL 58 на ALGOL 60
ALGOL 60: Сравнения с другими языками
Сравнение ALGOL 68 и C++
ALGOL 68: Сравнения с другими языками
Совместимость C и C++
Сравнение Pascal и Borland Delphi
Сравнение Object Pascal и C
Сравнение Pascal и C
Сравнение Java и C++
Сравнение C# и Java
Сравнение C# и Visual Basic .NET
Шаблон: Просмотр • Обсуждение • Править