Мультипарадигмальный язык программирования

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

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

Цель разработки мультипарадигмальных языков программирования состоит, как правило, в том, чтобы позволить программистам использовать лучший инструмент для работы, признавая, что никакая парадигма не решает все проблемы самым лёгким или самым эффективным способом.

Один из наиболее амбициозных примеров — Oz, который является логическим языком, функциональным языком, объектно-ориентированным языком, языком конкурентного программирования и т. д. Oz был разработан за десятилетний период, чтобы объединить гармоничным способом понятия, которые традиционно связаны с различными программными парадигмами.

В качестве одного из наиболее успешных мультипарадигмальных языков программирования часто называют язык C++.

Мультипарадигмальные языки

Примеры мультипарадигмальных языков программирования, разделённых по числу поддерживаемых парадигм:

Две парадигмы

• Функциональная, объектно-ориентированная:
  • Dylan.
• Функциональная, процедурная:
  • APL.
• Функциональная, логическая:
  • AFL;
  • Curry;
  • Mercury.

Три парадигмы

• Функциональная, процедурная, объектно-ориентированная:
  • Perl; (с версии 5)
  • Python;
  • JavaScript;
  • Tcl;
  • PHP; (с версии PHP 5.3 частично поддерживается функциональное программирование)
• Обобщённое программирование, процедурная, объектно-ориентированная:
  • C++;
  • D.

Четыре парадигмы

• Функциональная, обобщённое программирование, процедурная, объектно-ориентированная:
  • OCaml.
  • Common Lisp;
• Функциональное, процедурная, объектно-ориентированное, конкурентное программирование:
  • Руби.

Семь парадигм

• логическое, программирование с ограничениями, функциональное (причём как ленивые, так и «энергичные» вычисления), процедурное (императивное), объектно-ориентированное, распределённое, параллельное программирование
  • Oz

См. также

• Парадигма программирования.