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