Category theory applied to functional programming

We study some of the applications of category theory to functional programming, particularly in the context of the Haskell functional programming language, and the Agda dependently typed functional programming language and proof assistant -- More specifically, we describe and explain the concepts of category theory needed for conceptualizing and better understanding algebraic data types and folds, functors, monads, and parametrically polymorphic functions -- With this purpose, we give a detailed account of categories, functors and endofunctors, natural transformations, monads and Kleisli triples, algebras and initial algebras over endofunctors, among others -- In addition, we explore all of these concepts from the standpoints of categories and programming in Haskell, and, in some cases, Agda -- In other words, we examine functional programming through category theory

• Autores: Villa Isaza, Juan Pedro
• Fecha de publicación: 2014
• Institución: Universidad EAFIT
• Repositorio: Repositorio EAFIT
• Idioma: spa
• OAI Identifier: oai:repository.eafit.edu.co:10784/7251
• Acceso en línea: http://hdl.handle.net/10784/7251
• Palabra clave: Haskell (Lenguaje de programación de computadores); Espacios funcionales; Polimorfismo paramétrico; AGDA (Lenguaje de programación funcional); TEORÍA DE LAS MÁQUINAS; POLIMORFISMO; PROGRAMACIÓN FUNCIONAL (COMPUTADORES); ÁLGEBRAS LINEALES; PROGRAMACIÓN GENÉTICA (CIENCIA DE LA COMPUTACIÓN); PROGRAMACIÓN LÓGICA; Machine theory; Polymorphism; Functional programming (Computer science); Algebras, linear; Genetic programming (Computer science); Logic programming
• License: Acceso abierto