Guía DocenteCurso Facultade de Informática |
Enxeñeiro en Informática |
Asignaturas |
Programación Funcional |
Contidos |
Datos Identificativos | 2012/13 | |||||||||||||
Asignatura | Programación Funcional | Código | 614111635 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
1º e 2º Ciclo | 1º cuadrimestre |
Todos | Optativa | 5.5 | ||||||||||
|
Temas | Subtemas |
Introducción a programación Funcional | Historia de los lenguajes Funcionales Lenguajes Imperativos Lenguajes Declarativos (funcionales/lógicos) Transparencia Referencial |
Lambda Cálculo Puro | Sustitucion Normalización Call-by-name Call-by-value Call-by-need |
Representación de Valores no Lambda Calculo | Booleanos Pares Enteros Listas Recursividad (Y) |
Sistemas de Tipos para o Lambda Cálculo | Tipado simple Tipado explicito/implicito Tipado estático/dinámico Coherencia Inferencia de tipos Polimorfismo |
Implementación Lenguajes Funcionales | Bajo Nivel Interprete (bytecode) Garbage collector |
Introducción a Erlang | Programación Concurrente Fault tolerance |
|