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

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

Важливо відзначити, що парадигма програмування не визначається однозначно мовою програмування; практично всі сучасні мови програмування в тій чи іншій мірі допускають використання різних парадигм ( мультипарадигмальной програмування). Так на мові Сі, який не є об' єктно - орієнтованим, можна працювати відповідно до принципів об' єктно - орієнтованого програмування, хоча це і пов'язане з певними складнощами; функціональне програмування можна застосовувати при роботі на будь-якому імперативний мовою, в якому є функції (для цього достатньо не застосовувати присвоювання ), і т. д.

Прихильність певної людини якоїсь однієї парадигмі іноді носити настільки сильний характер, що суперечки про переваги і недоліки різних парадигм відносяться в навколокомп' ютерні колах до розряду так званих "релігійних" воєн - холіваров.

Різні визначення

Далеко не всі автори, що використовують термін "парадигма програмування", вирішуються дати інтенсіональних визначення даного терміну. Однак і ті визначення, які вдається знайти, серйозно відрізняються один від одного.

Діомідіс Спінелліс дає наступне визначення:

Слово "парадигма" використовується в програмуванні для визначення сімейства позначень (нотацій), які поділяють загальний спосіб (методику) реалізацій програм. (У оригіналі: The word paradigm is used in computer science to talk about a family of notations that share a common way for describing program implementations)

Для порівняння тій же автор наводити визначення з інших робіт. У статті Деніела Боброва парадигма визначається як "стиль програмування як опису намірів програміста". Брюс Шрайвер (Bruce Shriver) визначає парадигму програмування як "модель або підхід до вирішення проблеми", Лінда Фрідман (Linda Friedman) - як "підхід до вирішення проблем програмування".

Памела Зейв (Pamela Zave) дає визначення парадигми як "способу роздуми про комп'ютерних системах" (у оригіналі "way of thinking about computer systems").

Пітер Вегнер (Peter Wegner) пропонує інший підхід до визначення терміна парадигми програмування. У його роботі "Concepts and paradigms of object - oriented programming" [8]парадигми визначаються як "правила класифікації мов програмування відповідно з деякими умовами, які можуть бути перевірені".

Тімоті Бадд пропонує розуміти термін "парадигма" як "спосіб концептуалізації того, що означати" робити обчислення ", і як завдання, що підлягають вирішенню на комп' ютері, повинні бути структуровані й організовані".

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

Основні моделі програмування

• Імперативне програмування

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

• Функціональне програмування

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

• Об' єктно - орієнтоване програмування

  • Програмування, засноване на класах

  • Програмування, засноване на прототипах

  • Суб' єктно - орієнтоване програмування

Підходи та прийоми

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

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

• Декларативне програмування

• Апплікатівное програмування

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

• Доказове програмування

• Породжує програмування

• Аспектно- орієнтоване програмування

• Агентно- орієнтоване програмування

• Рекурсія

• Автоматні програмування

• Подієво - орієнтоване програмування

• Компонентно- орієнтоване програмування

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