La PTL es una rama de la informática que se encarga del diseño,
implementación, análisis, caractesización y clasificación de
lenguajes de programación y sus características.
Plankalkül fue el primer lenguaje de
programación, diseñado por Konrad
Zuse en los años 40,
lamentablemente no fue conocido.
El primer lenguaje de programación conocido y exitoso
ampliamente fue Fortran, desarrollado entre 1954 y 1957 por
investigadores en IBM liderados por Jhon Backus.
El exito de Fortran condujo a la
creación de un comité de
cientifícos para desarrollar un
lenguaje de programación
"universal", el resultado de su
esfuerzo fue ALGOL 58.
Categorías de lenguajes de programación.
Los lenguajes de programación se pueden
clasificar atendiendo varios criterios: 1- Según su
nivel de abstracción, 2- Según el paradigma de
programación que poseen cada uno de ellos.
Según el nivel de abstracción.
Lenguajes de maquina: Están escritos
en lenguajes directamente legibles por
las maquinas, ya que sus instrucciones
son cadenas binarias.
Lenguajes de bajo nivel: Los lenguajes de
bajo nivel son lenguajes de programación
que se acercan al funcionamiento de una
computadora.
Lenguajes de medio nivel: Tienen ciertas
características que los acercan a los lenguajes
de bajo nivel pero teniendo, al mismo tiempo,
ciertas cualidades que lo hacen un lenguaje
más cercano al humano.
Lenguajes de alto nivel: Son faciles
de aprender porque están formados
por elementos de lenguajes
naturales, como el inglés.
Según el paradigma de programación.
Lenguajes imperativos: Son
lenguajes que dan
instrucciones a la
computadora, es decir,
ordenes.
Lenguajes funcionales: Permite resolver ciertos
problemas de forma elegante y los lenguajes puramente
funcionales evitan los efectos secundarios comunes en
otro tipo de programaciones.
Lenguajes lógicos: La computación lógica direcciona
métodos de procesamiento basados en el razonamiento
formal.
Lenguajes orientados a objetos: La programación
orientada a objetos o POO es un paradigma de
programación que usa objetos y sus interacciones
para diseñar aplicaciones y programas de computadora.
Implementación: Es la que provee una manera de
que se ejecute un programa para una
determinada combinación de software y hardware.
Evolución de los lenguajes de programación.
Principales lenguajes.
Ensamblador.
El lenguaje ensamblador constituye el
primer intento de situación del lenguaje
maquina por uno más cercano al usado
por los humanos.
Maquina.
Es el único lenguaje que entiende
directamente la computadora. Por
esta razón, su estructura esta
totalmente adaptada a los circuitos
de la maquina y muy alejado de la
forma de expresión y análisis de los
problemas propia de los humanos.
Es un conjunto de símbolos y reglas sintácticas y
semánticas que definen su estructura y el
significado de sus elementos y expresiones. Es
utilizado para controlar el comportamiento
físico y lógico de una maquina.
Permite a uno o más programadores especificar de manera
precisa sobre qué datos debe operar una computadora, cómo
estas datos deben ser almacenados o transmitidos y que
acciones debe tomar bajo una variada gama de
circunstancias.