Pregunta c)

Indica 4 conceptos que sean propios del paradigma declarativo (lógico, funcional o lógico funcional). Incluye una breve explicación de su significado. Teneis que elegir los que considereis mas importantes.


Los lenguajes declarativos facilitan la escritura de relaciones y funciones y en ellos no se hacen nunca asignaciones a variables. Están considerados como “de más alto nivel”, ya que un programador declarativo trabaja con conceptos, más que con localizaciones dentro de la propia máquina, es decir, está basado en el pensamiento humano y las matemáticas; y más alejado del modelo de ordenador.

El estilo declarativo se caracteriza por un conjunto de aspectos, los cuales se entienden mejor al citarlos y con ello describir las diferencias que los separan de otros paradigmas:

• Los lenguajes declarativos están orientados a buscar la solución del problema, sin preocuparse por la forma de llegar a ello; es decir, el programador debeconcentrarse en la lógica del algoritmo, más que en el control de la secuencia.
  

• Los programas están formados por un conjunto de definiciones o ecuaciones, las cuales describen lo que debe ser calculado, no en sí la forma de hacerlo.
  

• Las variables sólo pueden tener asignado un solo valor a lo largo de la ejecución del programa, lo cual implica que no puede existir asignación destructiva. Debido a esto, cobra especial importancia el uso del anidamiento y la recursividad.
  

• Las listas representan la estructura fundamental de datos.

• El orden de la ejecución no resulta importante debido a que no existen efectos colaterales; es decir, que al calcular un valor, resulta imposible afectar el cálculo de otros y con esto se puede afirmar que cualquier secuencia de ejecución deberá de conducir al mismo resultado.

• Las expresiones o definiciones pueden ser usadas como valores y por lo tanto se
  pueden tratar como argumentos de otras definiciones.
  
  
• El control de la ejecución no es responsabilidad del programador

Después de haber hablado un poco sobre los lenguajes declarativos y conocer un poco por encima sus caracteristicas destacaremos los siguientes conceptos básicos:

EVALUACIÓN PEREZOSA: Al utilizar esta técnica se escoje siempre el redex mas externo ( "outermost"). Esto proporciona ciertas ventajas como concebir cada parte del problema de forma separada, proporciona cohesión ( no tiene que ser programada) , reutilización de funciones, eficiencia ( se ahorra trabajo) , es especialmente útil en problemas del tipo generar solución - comprobar si es válida ...

ORDEN SUPERIOR: Es un nuevo paso de abstracción. Su idea fundamental es tratar las funciones como datos del lenguaje de manera que pueden usarse en los programas como los otros datos. Esto supone funciones como argumento de otras funciones , funciones que producen funciones como resultado , estructuras de datos con funciones como componentes ...

INFERENCIA DE TIPOS: Este concepto está basado en la capacidad de deducir el tipo de una expresión a partir de la sintaxis. El compilador realiza un analisis estático del programa a partir de las funciones previas, y así , el tipo de las funciones es reconstruído.

TRANSPARENCIA REFERENCIAL: Como los programas son expresiones matemáticas, es posible sustituir variables por valores, lo que permite manipular los programas como ecuaciones. Una expresión siempre proporciona el mismo resultado, es decir, es evaluada, siempre, del mismo modo. Esto no es cierto en los lenguajes imperativos donde pueden existir efectos laterales. Gracias a la transparencia referencial podemos usar la operación de sustitución: la aplicación de una función se puede sustituir por su definición. Por ejemplo:
par(doble(2*5))=par(doble 10)=par(2*10)=par(20)=true.

Pregunta b)

Indica 4 conceptos que sean propios del paradigma de Orientación a Objetos. Incluye una breve explicación de su significado. Teneis que elegir los que considereis mas importantes.



La Programación Orientada a Objetos (POO u OOP según siglas en inglés) es un paradigma de programación que define los programas en términos de "clases de objetos", objetos que son entidades que combinan estado (es decir, datos), comportamiento (esto es, procedimientos o métodos) e identidad (propiedad del objeto que lo diferencia del resto). La programación orientada a objetos expresa un programa como un conjunto de estos objetos, que colaboran entre ellos para realizar tareas. Esto permite hacer los programas y módulos más fáciles de escribir, mantener y reutilizar.


Los programadores que emplean lenguajes orientados a objetos definen objetos con datos y métodos y después envían mensajes a los objetos diciendo qué realicen esos métodos en sí mismos. Esto difiere de los lenguajes imperativos tradicionales, en los que los datos y los procedimientos están separados y sin relación, ya que lo único que se busca es el procesamiento de unos datos de entrada para obtener otros de salida. Los programadores de lenguajes imperativos escriben funciones y después les pasan datos.


Dicho esto hay que señalar algunos conceptos básicos de este tipo de programación, de entre los cuales destacan:

• Objeto: entidad provista de un conjunto de propiedades o atributos (datos) y de comportamiento o funcionalidad ("métodos"). Corresponden a los objetos reales del mundo que nos rodea, o a objetos internos del sistema (del programa).

• Clase: definiciones de las propiedades y comportamiento de un tipo de objeto concreto. La instanciación es la lectura de estas definiciones y la creación de un objeto a partir de ellas.

• Método: algoritmo asociado a un objeto (o a una clase de objetos), cuya ejecución se desencadena tras la recepción de un "mensaje". Desde el punto de vista del comportamiento, es lo que el objeto puede hacer. Un método puede producir un cambio en las propiedades del objeto, o la generación de un "evento" con un nuevo mensaje para otro objeto del sistema.

• Atributo: contenedor de un tipo de datos asociados a un objeto (o a una clase de objetos), que hace los datos visibles desde fuera del objeto, y cuyo valor puede ser alterado por la ejecución de algún método.

FINALIDAD, GRUPO Y MIEMBROS

Este blog se ha creado para la entrega de un trabajo de la asignatura Lenguajes de programación (Curso 3º de Ingeniería Técnica en Informática de Gestión de la universidad de Vigo). Los autores del trabajo pertenecemos al grupo 25 y nuestros nombres son:

• David
• Daniel Rebollo
  
• Ferreira