| Grao en Enxeñaría Informática |
 Asignaturas |
| Paradigmas de Programación |
| Contenidos |
|
|
| Datos Identificativos | 2019/20 | |||||||||||||
| Asignatura | Paradigmas de Programación | Código | 614G01014 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Periodo | Curso | Tipo | Créditos | |||||||||
| Grado | 1º cuatrimestre |
Segundo | Obligatoria | 6 | ||||||||||
|
||||||||||||||
| Tema | Subtema |
| Programacion Declarativa: Programación Funcional | Tipos y valores. Expresiones y definiciones. Pattern-matching. Funciones. Funciones recursivas. Terminación. Recursividad terminal. Currying. Funciones de orden superior. Tipos parametrizados. Tipos recursivos. Polimorfismo. Transparencia referencial. Excepciones. |
| Programación imperativa | Estado de la máquina. Variables. Asignación. Programación estructurada. Estructuras de control: Composición secuencial, alternativa e iterativa. Procedimientos y funciones. Paso de parámetros por referencia y por valor. Efectos colaterales. Programación imperativa vs. declarativa. |
| Programación Orientada a Objetos | Objetos, atributos y métodos. Clases y herencia. Polimorfismo. Programación Orientada a Objetos vs. imperativa. Programación Orientada a Objetos vs. declarativa. |
| El lenguaje de programación Objective Caml | Programación funcional, imperativa y orientada a objetos en Ocaml. Los compiladores de Ocaml. Entrada / Salida. Módulos y librerías. Abstracción, encapsulación y compilación separada. Módulos, interfaces y signaturas. |
|
