Продо́вження (іноді відкладені обчислення, англ. continuation) представляє стан програми в певний момент, який може бути збережений і використаний для...

та рекурсія. До інших поширених можливостей функційних мов програмування належать продовження, система типізації Гіндлі — Мілнера[en], нечіткі обчислення...

мов програмування. Він представляє машину Secd, яка «інтерпретує» лямбда-вирази. У 1965 році Ландін вводить оператор J, який є формою продовження. У 1966...

Структурне програмування— методологія програмування (модель конструювання програмного забезпечення), запропонована в 1970-х роках голландським науковцем...

Логі́чне програмува́ння — парадигма програмування, та також розділ дискретної математики, що вивчає методи і можливості цієї парадигми, засновані на виведенні...

Паради́гма програмува́ння є способом класифікації мов програмування на основі їхніх особливостей. Мови можна класифікувати за кількома парадигмами. Деякі...

Об'є́ктно-орієнто́ване програмува́ння (ООП, іноді об'єктно-зорієнто́ване програмува́ння; англ. Object-oriented programming, OOP) — одна з парадигм програмування, яка розглядає...

Декларативне програмування — парадигма програмування, відповідно до якої, програма описує, який результат необхідно отримати, замість описання послідовності...

Програмування в обмеженнях (або програмування обмеженнями) — парадигма програмування, у якій відношення між змінними зазначені у формі обмежень. Обмеження...

Scheme — мультипарадигмова мова програмування, підтримує функціональну та процедурну парадигми програмування. Словник мови можна розширювати засобами самої...

Імперати́вне програмува́ння — парадигма програмування (стиль написання вихідного коду комп'ютерної програми), згідно з якою описується процес отримання...