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

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

• Структурное программирование (structured programming).
• Объектно-ориентированное программирование (оbject-oriented programming).
• Функциональное программирование (functional programming).
• Логическое программирование (logic programming).

Императивное и декларативное программирование

SELECT firstName, lastName FROM customers; 

Структурное программирование

Объектно-ориентированное программирование

• товар;
• корзина;
• покупатель.

• инкапсуляция (encapsulation);
• наследование (inheritance);
• полиморфизм (polymorphism).

Инкапсуляция

Наследование

Полиморфизм

Применение ООП

Функциональное программирование

• Алгоритм программы, использующий ООП, выглядел бы так: создание нового класса, в котором описан метод, где параметр i, равный 1, умножается сам на себя и выводится результат; после этого параметр i увеличивается на 1 и снова проходит тот же путь, пока не дойдёт до i равным 5. Работа метода представлена ниже на схеме:
  
  Скопировать код

  класс Квадрат {
  метод {
    для всех i=1 до i<6 {
      вывести(i*i)
      увеличить i=i+1
      }
   } 
  } 
• Алгоритм, использующий функциональное программирование, выглядел бы совершенно иначе: он состоит из набора функций. Функция, возвращающая список целых чисел, передаёт результаты функции возведения числа в квадрат, которая, в свою очередь, передаёт результаты другой функции, ограничивающей полученный список квадратов чисел первыми 5 числами. В итоге эти данные передаются другой функции для вывода результатов на экран. Ниже вы можете увидеть код и схему того, как бы это происходило:
  Скопировать кодJSX

  (вывести (первые 5 (квадратов (целых чисел)))) 
  

• неизменяемые переменные;
• чистые функции;
• функции первого класса и высшего порядка.

Неизменяемые переменные

Чистые функции

Функции первого класса и высшего порядка

Применение ФП

Логическое программирование

• Коржик и Пышка — родители Халка.
• Халк и Ромашка — родители Бориса.
• Коржик и Пышка — прародители Бориса по отцовской линии.

mother(пышка,халк).
father(халк,борис). 

mother(пышка,халк).
mother(ромашка,борис).
father(коржик,халк).
father(халк,борис). 

grandparent(X,Z) :- parent(X,Y), parent(Y,Z).
parent(X,Y) :- mother(X,Y).
parent(X,Y) :- father(X,Y). 

1. X — это прародитель Z, если X — это родитель Y и Y — родитель Z.
2. X — это родитель, если X — это мать Y.
3. X — это родитель, если X — это отец Y.

grandparent(пышка, борис). 

• Кто является родителями Бориса?
• Кто является прародителями Бориса?
• Кто является внуком Коржика?

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

• «Да» в ячейке таблицы значит, что ЯП реализует множество концепций парадигмы, даже если она не является основной для этого языка.
• «Некоторые концепции» в ячейке таблицы значат, что ЯП реализует некоторые концепции парадигмы.
• «Нет» в ячейке таблицы значит, что ЯП не реализует концепции парадигмы.

Подведём итоги

• Императивное программирование — описывает, как задача должна быть решена.
• Декларативное программирование — описывает, чего необходимо достичь (результат).

• Структурное программирование
• Объектно-ориентированное программирование

• Функциональное программирование
• Логическое программирование