Imagen Interactiva de los paradigmas y lenguajes de la programación

Características de los paradigmas y lenguajes de programación representativa

¿Que son las paradigmas de programación ?

Paradigma Funcional

• ¿Qué es?

• Caracteristicas

Lenguajes Representativos:

Paradigma Lógico

• ¿Qué es?

• Caracteristicas

Lenguajes Representativos:

Paradigma Imperativo

Lenguajes de programación representativa:

• ¿Qué es?

• Caracteristicas

Lenguajes Representativos:

Paradigma Orientado a Objetos

• ¿Qué es?

• Caracteristicas

Lenguajes Representativos:

Elaborado por José Alfredo Nuñez Gómez

• Evaluación de Expresiones : Evaluación perezosa
• Tipo de datos : Inmutables
• Disciplina : Declarativa
• Funciones : Funciones de orden superior

• Evaluación de Expresiones : Basada en reglas
• Tipo de Datos : Hechos y reglas
• Disciplina : Declarativa
• Funciones : Predicados

• Evaluación de Expresiones : Secuencial
• Tipo de Datos : Variables mutables
• Disciplina : Procesal
• Funciones : Subrutinas

• Evaluación de Expresiones: Basada en mensajes
• Tipo de Datos: Objetos
• Disciplina: Modular
• Funciones: Métodos

La programación lógica se trata de una programación basada en el cálculo de predicados en la que se establecen propiedades en lugar de secuencias de instrucciones para describir resultados deseados.

La programación Lógica gira entorno al concepto de predicado, o en relación entre elementos

• Usa técnicas como la herencia, polimorfismo, abstracción y encapsulamiento.
• Para la evaluación de expresiones implica trabajar con objetos, sus atributos y métodos.
• Los tipos de datos suelen ser estáticos y fuertes.
• Cuentan con tipos de datos primitivos, objetos y referenciados (clases, interfaces y arreglos).
• Fomenta la reutilización de código.
• Existe mayor cantidad de código.
• Se considera como un paradigma imperativo.
• Tiene disciplina de tipos basado en la definición de los tipos de datos.
• Los métodos son funciones asociados a objetos.

Caracteristicas

Pascal¿Qué es?

Es un lenguaje de programación que permite dividir un programa en módulos de manera organizada, lo que facilita la lectura y el mantenimiento del código. Además, es un lenguaje fuertemente tipado y con semántica propia.

Creado por: Niklaus WirthAño: 1970

C ¿Qué es?

Es un lenguaje de programación de nivel medio bajo ampliamente reconocido por su eficiencia y fue fundamental en la creación del sistema operativo Unix. Creado por: Dennis Ritchie Año: Entre 1969 & 1972

• Organiza el código del programa en componentes.
• Se deriva de la programación estructurada.
• Se centra en la estructura y el flujo del programa.
• Sigue un enfoque secuencial para la evaluación de expresiones.
• Promueve la modularidad y la reutilización del código.
• Tiene tipos de datos básicos y compuestos (registros y estructuras).
• Se utiliza una disciplina de tipos estática o dinámica.
• Se utilizan funciones para dividir el programa en unidades más pequeñas.

Caracteristicas

Mercury¿Qué es?

Es un lenguaje de programación lógico y funcional basado en la programación declarativa pura. Es de propósito general diseñado para resolver problemas del mundo real de manera robusta. Creado por: Fergus Henderson, Thomas Conway y Zoltan Somogyi Año: 1995

Creado por: Bjarne Stroustrup Año: 1985

Creado por: Guido Van Rossum Año: 1991

Python

C++

¿Que es? Es un lenguaje de programación de multipropósito y de código abierto orientado a objetos, es fácil de entender y escribir debido a su alta similitud con el lenguaje humano. Con Python se puede desarrollar aplicaciones web, automatizar tareas y procesar datos, machine learning, Deep learning, juegos, y muchas más gracias a una gran biblioteca estándar que contiene códigos reutilizables para casi cualquier tarea.

¿Qué es? Es un lenguaje de programación de propósito general orientado a objetos bastante potentes y versátiles que extiende del lenguaje C. Proporciona bibliotecas estándar altamente optimizadas y permite el acceso a características de hardware de bajo nivel, además, es una multiplataforma.

La programación funcional es un paradigma de programación declarativa basado en el uso de definiciones, expresiones y funciones matemáticas. En este paradigma se prioriza el “qué” en lugar de “cómo” se desarrolla un proyecto.

Scala ¿Qué es?

Es un lenguaje de programación de propósito general, versátil, moderno y de código abierto que combina los principios de orientación a objetos y programación funcional para expresar patrones de programación de forma concisa y elegante, y con tipado seguro. Es muy usado en el sector de Big Data.

Creado por: Martin Odersky Año: 2001

Domínguez, M., & Conforti, C. M. (2019). ¿Por qué Lógica y Teoría de la Argumentación?. Andamios, 16(41), 165-173. https://doi.org/10.29092/uacm.v16i41.720

Lima Moura, S. M., (2013). Formalismo y funcionalismo: nuevas metáforas para un nuevo paradigma. PANORAMA, 7(13), 113-124.

Fokker, J. (s.f.). Programaci´on Funcional. Madrid: Departamento de Inform´atica, Universidad de Utrecht. Galván, D. A. (s.f.). UA: ANÁLISIS DE LOS LENGUAJES DE PROGRAMACIÓN. Zumpango: Centro Universitario UAEM . Guagliano, C. (2019). Programación Orientado a objetos. Ciudad Autónoma de Buenos Aires: Sexta edición Claudio peña. RicardoPérezLópez. (2023/2024). Programaciónfuncional (I). IESDoñana.

Bibliografías

Es un lenguaje de programación de propósito general basado en el paradigma lógico, es ampliamente utilizado en inteligencia artificial. Se enfoca en la resolución de problemas mediante el cálculo de predicados. Creado por: Alain Coulmeauer y Philippe Roussel Año: 1970

Prolog ¿Qué es?

Son modelos de programación que hacen referencia a estilos o formas de programar o desarrollar software, con la finalidad de resolver problemas y realizar tareas específicas relacionado con lo computacional.

• Paradigma funcional
• Paradigma lógico
• Paradigma imperativo o procedural
• Paradigma orientado a objetos

¿Qué son los paradigmas de programación?

• Los programas están formados por funciones. • La computación se realiza evaluando expresiones.• Evita cambios de estado de las variables. • Usa diversos tipos de datos inmutables como números, texto, listas, tuplas, funciones, etc. • No utiliza asignaciones ni construcciones estructuradas. • No es necesario gestionar la memoria. • Tiene una disciplina de tipos sólida. • Emplea el sistema de tipos Milner. • Las funciones son elementos de primer orden, puras e inmutables. • Permite crear funciones anónimas o lambdas.

Caracteristicas

Creado por: Bjarne Stroustrup Año: 1985

Creado por: Guido Van Rossum Año: 1991

Python

C++

¿Que es? Es un lenguaje de programación de multipropósito y de código abierto orientado a objetos, es fácil de entender y escribir debido a su alta similitud con el lenguaje humano. Con Python se puede desarrollar aplicaciones web, automatizar tareas y procesar datos, machine learning, Deep learning, juegos, y muchas más gracias a una gran biblioteca estándar que contiene códigos reutilizables para casi cualquier tarea.

¿Qué es? Es un lenguaje de programación de propósito general orientado a objetos bastante potentes y versátiles que extiende del lenguaje C. Proporciona bibliotecas estándar altamente optimizadas y permite el acceso a características de hardware de bajo nivel, además, es una multiplataforma.

La programación orientada a objetos se trata de una técnica que utiliza clases para organizar el código, lo que facilita el desarrollo y la reutilización. También permite una organización mejorada y la creación de programas más complejos.

Esta basada en varias técnicas tales como : herencia, cohesión,abstraccion, poliformismo, acoplamiento y encapsulación.

La programación imperativa describe a la programación en términos del estado del programa y sentencias que modifican dichos estados. Los programas imperativos resultan en un conjunto de instrucciones que indican a la computadora la forma en que realizará su tarea, es cierta forma es un paradigma que agrupa el código en procedimientos o funciones, que son un tipo de subrutinas.

Haskell ¿Qué es?

Es un lenguaje de programación puramente funcional de código abierto y de propósito general enfocado en la evaluación de expresiones, la evaluación perezosa, la manipulación de funciones y la inmutabilidad.

Creado por: Universidad de Yale y Universidad de Glasgow Año: 1990

• Se basa en la lógica matemática y el cálculo de predicados para deducir resultados.
• Define relaciones lógicas y establece hechos.
• Es útil para la inteligencia artificial y problemas lógicos.
• Tiene una disciplina de tipos basada en la lógica de primer orden y Unificación de tipos.
• Se ubica dentro de los paradigmas declarativos.
• Las funciones se expresan como reglas lógicas y predicados.

Caracteristicas