La asignatura de Programación Funcional permite al estudiante de
ingeniería informática profundizar en el estudio de los lenguajes
funcionales. Esto se realiza estudiando el lambda cálculo, que
es la teoría en la que se basan estos lenguajes. Se usa una
aproximación práctica, implementando y extendiendo un interprete
del lambda cálculo puro con diversas funcionalidades como
booleanos, enteros, pares, listas, recursividad ...
(*)A Guía docente é o documento onde se visualiza a proposta académica
da UDC. Este documento é público e non se pode modificar, salvo casos excepcionais baixo a revisión do
órgano competente dacordo coa normativa vixente que establece o proceso de elaboración de guías