Є три типи чітко диференційованих мов: машинний, мови низького і високого рівня.
Призначення мов:
Машинний мову, який безпосередньо розуміє комп’ютер, застосовуючи двійковий код, тобто 0 і 1.
Мови низького рівня набагато простіше у використанні, ніж машинні, але в значній мірі базуються на комп’ютерах з машинним мовою.
Мови програмування високого рівня легше вивчати, тому що вони застосовують слова чи команди природної мови, зазвичай англійської, наприклад, найвідоміший мова Бейсік.
Типи мов високого рівня в залежності від точки зору роботи програм і філософії їх створення, поділяються:
Імператив, Cobol, Pascal, C і Ada.
Декларативний, Лисп і Пролог.
Об’єктно-орієнтований, Smalltalk та C ++.
Проблемно-орієнтований, специфічні мови для управління.
Природний мову програмування, нові види, які прагнуть наблизити дизайн і конструювання до мови людей. Зробити його простіше.
Інша класифікація високого рівня враховує розвиток комп’ютерів і використовується у вигляді критеріїв порівняння мов програмування:
Першого покоління — машинний і Асемблер.
Другого покоління — перші мови програмування високого імперативного рівня FORTRAN, COBOL.
Третього покоління — це мови програмування високого імперативного рівня, але набагато більше використовуються і актуальні в даний час: ALGOL 8, PL/I, PASCAL, MODULA.
Четвертого покоління – в додатках для управління базами даних: NATURAL, SQL.
П’ятого покоління — для штучного інтелекту та обробки природних мов: LISP, PROLOG.