Los paradigmas de programación son la forma, que determinan los métodos y las herramientas que un programador usará en la construcción de un software.
Mayormente los lenguajes de programación están basados en uno más paradigmas a esto se les puede llamar multíparadigmas.
Tipos de paradigmas
Paradigma imperativo: Los paradigmas imperativos son un conjunto de instrucciones que le indica al computador cómo realizar una tarea.
La implementación de hardware de la mayoría de computadores está diseñado para ejecutar código de máquina. Esto se debe a que el hardware de las computadores implementa el paradigma de la máquina de Turing. Desde esta perspectiva de nivel bajo el estilo del programa esta definido por los contenidos de la memoria y las sentencias son instrucciones en el lenguaje de máquina nativo del computador.
Paradigma funcional: Éste tipo de paradigma muestra un tipo de programación en forma de funciones matemáticas.
El objetivo es conseguir lenguajes expresivos y matemáticamente elegantes, en los que no sea necesario bajar al nivel de la máquina para describir el proceso llevando a cabo por el programa, y evitando el concepto de estado de cómputo. La secuencia de computaciones llevadas a cabo por el programa se regiría única y exclusivamente por la reescritura de definiciones más amplias a otras cada vez más concretas y definidas, usando lo que se denominan "definiciones dirigidas".
Paradigma lógico: se definen reglas lógicas que luego a través de un motor de inferencias lógicas, resolver problemas planteados por el sistema. Algunos programas que utilizan el paradigma lógico: prolog.
Paradigma orientado objetos: Éste tipo de programación posee como idea principal encapsular estado y operaciones en objetos. Estos objetos pueden comunicarse entre sí, poseen clases y herencia. Se puede destacar como ventaja la facilidad de reutilización de código.
Paradigma estructurado: básicamente el código se divide en bloques, estructuras que pueden o no comunicarse entre sí. Este software se controla con secuencia, selección e interacción. Otorga una mejor comprensión del código y permite su reutilización de una forma más fácil.
Paradigma de programación guiada: es un paradigma de programación en el que tanto la estructura como la ejecución de los programas van determinados por los sucesos que ocurren en el sistema o que ellos mismos provoquen.
Mientras que el programa secuencial es el programador el que decide cuál va ser el flujo del programa, en la programación dirigida por eventos será el propio usuario, o lo que sea que esté accionando el programa, el que dirija el flujo del programa.
