«Quien sabe por Algebra, sabe scientificamente.»
Pedro Nunes (1502-1578) in libro de algebra, 1567, fol 270r.
Construção de programas: escrever programas funcionais de forma composicional, com recurso a combinadores algébricos.
Transformação de programas: recurso à algebra da programação para se obterem programas mais eficientes sem comprometer as sua correcção.
Análise e compreensão de programas: recurso à factorização em pares "fold" + "unfold" (hilomorfismos) como forma de se perceber a arquitectura dos algoritmos e sua
catalogação.
Síntese de programas: cálculo de ciclos-for a partir de definições indutivas.
Programação funcional avançada: construir e raciocinar sobre programas funcionais com efeitos sob a forma de mónades.
Funcionamento da Disciplina
A informação detalhada sobre esta disciplina
(incluindo avisos e sumários) encontra-se organizada
por anos lectivos, conforme se segue: