INTRODUCCIÓN
Para comenzar a estudiar
cualquier lenguaje de programación se debe conocer
cuales son los conceptos
que soporta, es decir, el tipo de programación que vamos a poder realizar con él.
Como
el C++ incorpora características nuevas respecto a lenguajes
como Pascal o C, en primer lugar daremos una descripción a los conceptos
a los que este lenguaje
da soporte, repasando los paradigmas
de programación y centrándonos en la evolución desde la programación Funcional a la programación Orientada a Objetos. Más adelante estudiaremos el lenguaje de la misma manera, primero veremos sus características funcionales (realmente la parte que el lenguaje
hereda de C)
y después estudiaremos las extensiones que dan soporte a la programación orientada a objetos.
PARADIGMAS DE PROGRAMACIÓN
Según los conceptos en que se basa un lenguaje de programación tenemos distintas maneras de
aproximarnos a la resolución de los problemas y diferentes estilos de programación. Podemos
clasificar los lenguajes de programación en varios tipos:
— Imperativos
— Orientados a Objetos
— Funcionales
— Lógicos
Las dos primeras opciones se basan en la abstracción de los tipos de datos. Básicamente se trata de representar las características variables de los objetos mediante tipos que el ordenador pueda
tratar, como por ejemplo números enteros o caracteres alfanuméricos. Nuestro programa será una colección
de algoritmos que opere sobre los datos que hemos modelado. La diferencia entre
las dos aproximaciones se verá en puntos
posteriores.
Los lenguajes funcionales, al contrario que los imperativos, eliminan totalmente la idea de tipo de datos, se limitan
a tratar todos los datos como símbolos
y hacen hincapié
en las operaciones
que podemos aplicar
sobre estos símbolos, agrupados en listas
o árboles. Es importante
indicar que en estos lenguajes
se emplea únicamente el concepto de función aplicado a símbolos,
siendo una de sus características principales el empleo de las
funciones recursivas. Como ejemplo de este tipo de lenguajes podríamos citar el LISP.
Los lenguajes lógicos son
los
que trabajan directamente con la lógica formal,
se trata de representar relaciones entre conjuntos, para luego poder determinar si se verifican
determinados predicados. El lenguaje lógico más extendido es el Prolog.
PROGRAMACIÓN IMPERATIVA
Como ya hemos mencionado anteriormente, la programación imperativa trata con tipos de datos y
algoritmos, los primeros representan la información utilizada por los programas, mientras que los segundos se refieren a la manera
en que tratamos esa información.
En los puntos que siguen revisaremos de forma breve los conceptos fundamentales de la
programación imperativa clásica,
también llamada programación procedural. La idea básica de esta aproximación es la de definir los algoritmos o procedimientos más eficaces para tratar los datos
de nuestro problema.
No hay comentarios:
Publicar un comentario