A programming language is a form of a user to communicate with a computer . This communication is done through instructions that follow certain syntactical and semantic rules .
Programming languages predate the first computer actually considered modern. However consider the years 1940/50 as the diffusers programming lingugens .
The basic program will make immediate conclusions from a list of assumptions . These findings will be both declarative as imperative sentences. When a mandatory sentence is deducted , the program takes a corresponding action.
The programming logic aims to perform functions or logical schemes through parameters and goals.
Godel - 1990
PROLOG - 1970
The imperative languages are oriented to actions where the
computation is seen as a sequence of instructions that
manipulate variable values
COBOL - 1960
FORTRAN - 1960
ALGO-60 - 1960
MODULA-2 - 1970
PL/I - 1960
ALGO 68 - 1960
Functional programming is based on the mathematical concept of function, in which for each element of your domain set (input) there is only one element in a whole counter- domain ( output). Moreover , functions are usually expressed by other functions - in order to obtain the function value for a given set of parameters involves not only to apply the rules of that function , but also make use of other functions .
LISP - 1960
HASKELL - 1990
MIRANDA - 1980
ML - 1970
Object orientation in a formal setting , is a paradigm of analysis, design and programming of software systems based on the composition and interaction between different software units called objects. That is, a model used in software development where we work with units called objects. This model is designed mainly to organization, performance , sustainability and reuse of software