Favicon Vikidia.png
¡Vikidia te necesita!Face-wink.svg
Corazón.svg

Actualmente tenemos 6575 artículos. ¡Anímate! Face-smile.svg a crear los artículos solicitados

Paradigma de programación

De Vikidia
Ir a la navegación Ir a la búsqueda

Un paradigma de programación es una forma de clasificar a los lenguajes de programación, según sus características. Los lenguajes de programación pueden pertenecer entonces a uno o más paradigmas.

Algunos paradigmas se preocupan de clasificar los efectos que tiene la forma de ejecutar las instrucciones del lenguaje, mientas que otros paradigmas se enfocan más en la forma en la que el código fuente está organizada.

Programación declarativa e imperativa[editar · editar código]

Los lenguajes de programación más comunes se clasifican en uno de estos grandes grupos de paradigmas:

Los lenguajes de programación declarativos permiten al programador especificar o declarar, de ahí el nombre, cómo debe ser el resultado del programa, sin detallar cómo se debe obtener el resultado. Para ello se usan expresiones lógicas, o expresiones regulares. Como ejemplo, están lenguajes como SQL, para hacer consultas a bases de datos, XPath, para obtener datos de un árbol XML, o Prolog, un lenguaje muy usado en el campo de la inteligencia artificial y la lingüística.

Por otro lado, los lenguajes de programación imperativos permiten al programador usar declaraciones, que le indican al computador qué debe hacer para realizar una tarea determinada. Las declaraciones o sentencias se pueden combinar de muy distintas maneras, y por ello hay muchos lenguajes de programación imperativos. Como ejemplos podemos destacar lenguajes antiguos como C, Fortran o Pascal, o lenguajes más recientes como Lua, JavaScript o Python.

Programación estructurada[editar · editar código]

La programación estructurada es un paradigma que introduce el uso de varios elementos de control de flujo para organizar el código de un programa. Dichos elementos son de tres tipos:

Controles de selección
Permiten ejecutar unas u otras sentencias dependiendo de una condición. Normalmente, se usan mediante palabras como if y else.
Controles de iteración
Ejecutan un grupo de sentencias hasta que una condición no se cumpla, o las ejecutan sobre todos los elementos de un conjunto. Normalmente, se usan mediante palabras como while, for o repeat.
Controles de secuencia
Permiten dividir el código en bloques, procedimientos o funciones, con una función bien definida.

Programación orientada a objetos[editar · editar código]

La programación orientada a objetos es un paradigma que introduce el concepto de objetos, entidades que poseen atributos, es decir, información sobre ese objeto, y métodos, funciones que ese objeto puede realizar.

La mayoría de dichos lenguajes usa clases para definir objetos, y muchos permiten operaciones avanzadas en las clases, como polimorfismo, encapsulado, o herencia múltiple. Algunos ejemplos de lenguajes de programación orientados a objetos pueden ser C++, Python, PHP o Java.

Programación lógica[editar · editar código]

La programación lógica permite usar la lógica formal para escribir programas. Aquí, las sentencias sirven para especificar hechos y reglas sobre un problema dado, para que el computador pueda deducir el resultado. Prolog y Datalog son los lenguajes más conocidos.

Programación paralela[editar · editar código]

La programación paralela permite ejecutar varios procesos al mismo tiempo, permitiendo al programador controlar dichos procesos. Muchos lenguajes de programación incluyen al menos alguna forma de multihilo o multiproceso, como Python o C.