Альтернативи об’єктно-орієнтованому програмуванню?

OOP - це, мабуть, найбільш часто використовувана парадигма програмування в сучасному дизайні програмного забезпечення. Моє запитання - яка ще парадигма (и) може конкурувати з нею і може стояти на місці ООП ? Щоб пояснити це питання, я не запитую про те, які ще парадигми існують. Їх багато, але я хотів би знати, який саме ...

• Використовувався на практиці, не лише в теорії.
• Може конкурувати з ООП , тому його можна використовувати у великому проекті з мінімумом болю.
• Може використовуватися для розробки настільного додатка з бізнес-логікою, базами даних тощо.
• Використовується не поряд з ООП, а як заміна ООП.

І якщо такий є, які плюси / мінуси у нього, чому він кращий / гірший за ООП, які мови найкраще ним користуватися, як щодо використання його в популярних мовах, чи має він якісь шаблони дизайну, і чи може це повністю замінити ООП?

Функціональне програмування - ще одна парадигма програмування, яка користується популярністю переважно серед науковців. Найкращий приклад функціональної мови програмування - Haskell і Standard ML .

Принципова різниця між функціональним програмуванням та об’єктно-орієнтованим програмуванням полягає в тому, що ви програмуєте у сенсі потоку даних, а не потоку управління . Дивіться презентацію « Приручення ефектів за допомогою функціонального програмування » Саймона Пейтон-Джонса для гарного вступу.

Хорошим прикладом функціонального програмування, що використовується в галузі, є Erlang . Він в основному використовується в телекомунікаційних, розподілених та відмовостійких системах. Дивіться презентацію Erlang - Програмне забезпечення для одночасного світу по Джо Армстронг .

Є також новіші мови функціонального програмування, які поєднують функціональне програмування з ООП. Два хороші приклади - F # для платформи .NET та Scala для платформи Java; вони часто можуть використовувати існуючі бібліотеки на платформі, написані іншими мовами.

Зараз тенденцією нових мов програмування є багатопарадигма , коли кілька парадигм, таких як об’єктно-орієнтоване програмування та функціональне програмування, поєднуються в одній мові.

Процедурна обробка - це все, до чого не з’явився ООП, створив кілька великих реальних програм (насправді, більшість із них спочатку) та багато операційних систем.

Його, звичайно, можна використовувати у великомасштабних продуктах з мінімумом болю та максимумом продуктивності

Векторне реляційне моделювання даних використовується для створення виконуваних інформаційних моделей із доменною релевантною семантикою в рамках Глобальної інформаційної мережевої архітектури, посередника мережевих моделей.

Перш за все, зауважте, що багато мов програмування, які зараз використовуються (особливо "мови вищого рівня"), мають багатопарадигму . Це означає, що ви ніколи не будуєте програм, які мають виключно ООП (за винятком того, якщо ви використовуєте Smalltalk або Eiffel для побудови своїх великих проектів).

Погляньте на PHP, наприклад:

• Має багато елементів ООП (починаючи з версії 5)
• Раніше був переважно процедурним
• Має елементи декларативного програмування (наприклад, функції масиву)
• Реалізовано багато елементів функціонального програмування (починаючи з версії 5.4)

В основному PHP склеює багато різних парадигм (і сам є "клейовою мовою").

Також Java реалізує багато концепцій, які не є об'єктно-орієнтованою парадигмою (наприклад, функціональним програмуванням).

Перегляньте список мов програмування за типами у Вікіпедії: https://en.wikipedia.org/wiki/List_of_programming_languages_by_type#Imperative_languages (не на 100% точний).

Функціональне програмування (підмножина деклеративного програмування)

• Уідлі використовував на практиці (він став частиною склеєних мов, таких як PHP , також Java та багато інших реалізували концепції функціонального програмування)
• Багато ідей бере свій початок у LISP, який, безумовно, варто переглянути
• Ви можете створювати цілі програми, наприклад, за допомогою Haskell, тому він може "замінити" ООП

Процедурне програмування

• С (як переважно процедурна мова) досі є однією з найбільш широко використовуваних мов
• Багато сучасних клейових мов спочатку були процедурними
• Проте багато програм переважно процедурні (тому, якщо ви хочете, це може "замінити" ООП)

Логічне програмування

• Найвидатніший приклад - Пролог. Це використовується для конкретних завдань, які отримують користь від логічних логічних запитів на основі правил
• Не може "замінити" ООП з точки зору побудови великого проекту, але може замінити його іншими термінами

Декларативні / доменні мови в цілому

• Використання SQL у своїх проектах? Тоді вони не є суто ООП, SQL по суті є декларативним.
• Багато доменних мов (наприклад, CSS) є декларативними

Загальне програмування загалом

• Тонни додатків не "об'єктно-орієнтовані", а просто написані в імперативному стилі (наприклад, збірка)
• Шукайте тут чудову нитку: /software/117092/whats-the-difference-between-imperative-procedural-and-structured-programming

Цей список не повний, він просто дасть уявлення. Тільки зауважте, що зазвичай ви використовуєте багато різних парадигм під час написання великої програми, і навіть кожна мова, якою ви користуєтесь, реалізує кілька парадигм.

ООП зазвичай вважається хорошим вибором для структурування великих, складних взаємозв’язків при моделюванні даних. Це не завжди парадигма, на яку слід покластися для багатьох інших завдань.

FP - Функціональне програмування - надзвичайно популярна парадигма програмування, яка існує вже дуже давно і в останні роки стала все більш помітною. ФП надає перевагу незмінності порівняно з мінливістю, рекурсією та функціями без побічних ефектів. Деякі приклади популярних мов fp - Erlang, Scala, F #, Haskell та Lisp (серед інших).

В даний час не існує парадигм, які могли б справді замінити ООП. Проблема з (перевагами) ООП полягає в тому, що він робить для вас величезну роботу - автоматично випускає ресурси, перевіряє дані тощо, і полегшує перевірку коду, не кажучи вже про те, що переважна більшість існуючих у світі бібліотек написані мовою ООП, такою як C ++, C # або Java. Реальність ужиття без таких масштабних бібліотек і таких надзвичайно сумнівна.

У нішевих чи академічних світах ви знайдете багато функціонального програмування. Однак, якщо ви дійсно хочете зробити великий проект, ООП - це єдиний шлях.

Я думаю, що загальне програмування з’явиться як нова парадигма. Однак, це все ще на стадії розробки, і лише C ++ / D пропонують справді гарне загальне програмування.