Grao en Enxeñaría Informática |
Asignaturas |
Paradigmas de Programación |
Contidos |
|
|
Datos Identificativos | 2012/13 | |||||||||||||
Asignatura | Paradigmas de Programación | Código | 614G01014 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
Grao | 1º cuadrimestre |
Segundo | Obrigatoria | 6 | ||||||||||
|
Temas | Subtemas |
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. |
|