Teoría de categorías aplicada a la programación funcional con Agda.
Fecha
2011-02
Autores
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad EAFIT, Medellín, Colombia
Resumen
Descripción
Teoría de categorías aplicada a la programación funcional con Agda es una implementación de algunos conceptos de la programación funcional que están basados o han sido tomados de la teoría de categorías (categorías, functores, functores aplicativos, mónadas...). En este artículo se analizan las diferencias entre la definición formal de un functor y su definición en el lenguaje de programación Haskell, y se implementa un functor en el asistente de pruebas Agda que soluciona dichas diferencias.
Palabras clave
Teoría de categorías, Programación funcional, Tipo dependiente, Asistente de pruebas, functor