Skip to content

Category theory applied to functional programming (undergraduate project)

Notifications You must be signed in to change notification settings

jpvillaisaza/cain

Folders and files

NameName
Last commit message
Last commit date

Latest commit

f56b4ad · Feb 15, 2019

History

69 Commits
Feb 15, 2019
Feb 15, 2019
Nov 3, 2016
Apr 19, 2014
Feb 15, 2019
Apr 22, 2014
Nov 25, 2013
Nov 25, 2013
Apr 21, 2014
Apr 20, 2014
Nov 25, 2013
Oct 31, 2014
Apr 19, 2014
Apr 17, 2014
Nov 25, 2013
Mar 11, 2014
Mar 11, 2014
Nov 25, 2013
Mar 11, 2014
Apr 22, 2014
Nov 25, 2013
Apr 20, 2014
Apr 19, 2014
Apr 21, 2014
May 22, 2014
Feb 15, 2019
Nov 25, 2013
Feb 15, 2019
Apr 19, 2014

Repository files navigation

Category theory applied to functional programming

Abstract

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.