A programming language is a formal language comprising a set of instructions that produce various kinds of output. Programming languages are used in computer programming to implement algorithms. ... There are programmable machines that use a set of specific instructions, rather than general programming languages.With that said, there are four major types of programming paradigms; namely: Imperative, Functional, Logical and Object-Oriented. The imperative programming paradigm was one of the earliest and was developed using machine-language.There are three main kinds of programming language:Machine language,Assembly language,High-level language.