Існують різні класифікації мов програмування. Наведемо одну з них (рис. 2.8):
Додати до рис. 2.8 після ЛОГІЧНІ ще два блоки – Функціональні та Інші
Асемблери – це мови програмування, які, як і машинні, орієнтовані на процесори конкретної архітектури. Але на відміну від машинних мов, в асемблерах коди команд машинної мови можуть бути записані спеціальними словами. Це спрощує написання програми цією мовою.
На відміну від машинно-орієнтованих мов програмування, машинно-незалежні мови програмування не орієнтовані на процесори конкретної архітектури.
Процедурні мови програмування дозволяють поділити програму на окремі фрагменти (процедури), кожна з яких є певною послідовністю команд і призначена для розв’язання деякої частини задачі (підзадачі). Процедури можна викликати на виконання з інших процедур або з основної частини програми. Зі створених процедур можна утворювати бібліотеки і використовувати їх при складанні інших програм. Прикладами таких мов є мови Fortran (англ. Formula Translator — перекладач формул), Basic (англ. Beginner’s All-purpose Symbolic Instruction Code — загальноцільовий (універсальний) код символічних інструкцій для початківців), Pascal (названа на честь видатного французького математика, фізика, інженера та філософа XVII століття Блеза Паскаля (1623 - 1662)),С.
Об’єктно-орієнтовані мови програмування оперують об’єктами, їх властивостями, значення яких можуть змінюватися під час виконання програми, і методами, які можуть виконуватися над об’єктами або які можуть виконувати самі ці об’єкти. Прикладами таких мов є мови Delphi, С++, С#, Java.
Логічні мови програмування застосовуються для розв’язування логічних задач, для аналізу великих обсягів даних і розробки експертних рішень та ін. Прикладом такої мови є мова Prolog (англ. Programming in Logic — програмування в логіці).
Функціональні мови програмування зводять весь процес обчислень до обчислення значень різноманітних функцій. Прикладом такої мови програмування є мова Lisp (англ. List Processing — опрацювання списків), яка широко використовується для пошуку даних у великих списках.
Зазначимо, що сучасні мови програмування мають ознаки і можливості мов програмування, що відносяться до різних груп у наведеній класифікації. Так, наприклад, в об’єктно-орієнтованих мовах програмування використовують процедури, а у функціональних мовах – елементи об’єктно-орієнтованого програмування.
