Interpreted Programming Languages
An interpreted language is a type of programming language for which most of its implementations execute instructions directly and freely, without previously compiling a program into machine-language instructions.
Examples: PHP, Perl, Ruby, and Python.
Functional Programming Languages
Functional programming is based on mathematical functions. Some of the popular functional programming languages include: Lisp, Python, Erlang, Haskell, Clojure, etc
Compiled Programming Languages
Examples of languages that are normally used to produce compiled programs include C, Fortran, and COBOL.
Procedural Programming Languages
Procedural programming is a programming paradigm, derived from structured programming, based on the concept of the procedure call. Procedures, also known as routines, subroutines, or functions, simply contain a series of computational steps to be carried out. Any given procedure might be called at any point during a program's execution, including by other procedures or itself. The first major procedural programming languages first appeared circa 1960, including Fortran, ALGOL, COBOL and BASIC. Pascal and C were published closer to the 1970s.
Scripting Programming Languages:
Markup Programming Languages
A markup language is a computer language that uses tags to define elements within a document. It is human-readable, meaning markup files contain standard words, rather than typical programming syntax. While several markup languages exist, the two most popular are HTML and XML.
Logic Based Programming Languages
Logic programming is a way of writing computer programs using languages that are based on formal logic. Logic is the study of how truth is defined, and how we prove that certain statements are true or false. ex; Prolog
Concurrent Programming Languages
In programming, concurrency is when the computer is doing multiple tasks at the same time (concurrently).
Languages supporting concurrent programming
Today, the most commonly used programming languages that have specific constructs for concurrency are Java and C#.
Object Oriented Programming Languages
Object-oriented programming is a programming paradigm based on the concept of "objects", which can contain data, in the form of fields, and code, in the form of procedures. A feature of objects is an object's procedures that can access and often modify the data fields of the object with which they are associated.
Examples: Java, Python, Ruby, C++, Smalltalk, Visual Basic .NET.
Structured programming languages
Structured programming is a programming paradigm aimed at improving the clarity, quality, and development time of a computer program by making extensive use of the structured control flow constructs of selection (if/then/else) and repetition (while and for), block structures, and subroutines.