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. |
|