PARADIGMA DECLARATIVO

La programación declarativa se puede definir como la programación que no es imperativa. Un programa declarativo es aquel que describe lo que se debe realizar y no la forma de realizarlo. Los lenguajes declarativos no basan su funcionamiento en efectos secundarios, y tienen una clara correspondencia con la lógica matemática. El término “programación declarativa” es en realidad un término general que engloba una serie de paradigmas de programación más conocidos.

Además, los programas creados con un lenguaje declarativo suelen ser más pequeños, ya que se necesita menos código para lograr un objetivo. El nivel de abstracción aquí es mucho mayor y los principales lenguajes declarativos también son lenguajes de marcado: HTML, XML, XSLT y XAML. En el grupo de los paradigmas de programación declarativa se encuentran: paradigma funcional y paradigma lógico.

Funcional: Basado en la evaluación de funciones matemáticas. En programación funcional no hay instrucciones de asignación; la evaluación de un programa funcional no tiene efectos colaterales; y las funciones pueden evaluarse en cualquier orden, por lo que en programación funcional no hay que preocuparse por el flujo de control. La idea central es que las funciones de orden superior y la evaluación postergada, son herramientas conceptuales de la programación funcional que nos permiten descomponer problemas más allá del diseño modular que inducen otros paradigmas de programación, como la estructurada. Omitir la operación de asignación, los efectos colaterales y el flujo de control son simples medios para este fin. La sección se organiza de la siguiente manera: Primero presentaremos una serie de conceptos muy básicos sobre funciones puras y la composición de estas como parte del diseño modular de programas funcionales. A continuación, profundizaremos en esta idea a través de los conceptos de interfaz manifiesta, transparencia referencial, función de orden superior y recursividad.

 

Lógico: Basado en el uso de sentencias lógicas para representar y evaluar programas. Puede constituirse en una forma de computación universal. Su lenguaje más representativo es Prolog, basado en el principio de resolución-SL de Kowalski y Kuehner, una regla de inferencia que permite hacer demostrar que una cláusula lógica es consecuencia de un conjunto de ellas (el programa) y computar los valores de las variables en la cláusula, que hacen esto posible. Otros lenguajes lógicos incluyen a Datalog, una eficiente y completa versión restringida de Prolog, sin funciones ni predicados extra lógicos; Mercury con tipos de datos explícitos; y el orientado a objetos Logtalk.

Referencias:

Villamizar, S. (2015). Introducción a los Paradigmas de la Programación. Universidadcooperativa. https://www.academia.edu/14859188/Introducci%C3%B3n_a_los_Paradigmas_de_la_Programaci%C3%B3n

Canelo, M. M. (2024, 21 marzo). ¿Qué son los paradigmas de programación? Profile Software Services. https://profile.es/blog/que-son-los-paradigmas-de-programacion/

Reyes, I. C. (2024, 23 octubre). ▶ Qué son Paradigmas de Programación | CognosOnline. CognosOnline. https://cognosonline.com/que-son-paradigmas-de-programacion/