Relationships between category theory and functional programming with an application

The most recent studies in mathematics are concerned with objects, morphisms, and the relationship betweenmorphisms. Prominent examples can be listed as functions, vector spaces with linear transformations, and groups withhomomorphisms. Category theory proposes and constitutes new structures by examining objects, morphisms, andcompositions. Source and target of a morphism in category theory corresponds to input and output in programminglanguage. Thus, a connection can be obtained between category theory and functional programming languages. Fromthis point, this paper constructs a small category implementation in a functional programming language called Haskell

PDF

___

[1] Arbib M, Manes E. Arrows, Structures, and Functors : The Categorical Imperative. London, UK: Academic Press, 1975.
[2] Arvasi Z. Categories and Computer Science, Lecture Notes in Osmangazi University. Eskişehir, Turkey: Osmangazi Universit,y 2013.
[3] Asperti A, Longo G. Categories, Types, and Structures, Foundations of Computing Series. London, UK: MIT Press, 1991.
[4] Barr M, Wells C. Category Theory Lecture Notes for ESSLLI, 1999. (http://www.let.uu.nl/esslli/Courses/barr/barrwells.ps)
[5] Barr M, Wells C. Category Theory for Computing Science. New York, NY, USA: Prentice Hall, 1990.
[6] Dillon L. Functional vs Imperative Programs, Lecture Notes, 2008.
[7] Eilenberg S, MacLane S. Categories for the Working Mathematician. New York, NY, USA: Springer, 1998.
[8] Fokker J. Functional Programming, Utrecht University Department of Computer Science Lecture Notes, 1995.
[9] Hagino T. A Categorical Programming Language. PhD, Kyoto University, Kyoto, Japan, 1987.
[10] Hutton G. Programming in Haskell. London, UK: Cambridge University Press, 2007.
[11] Pitt D, Abramsky S, Poigne A, Rydeheard D. Category Theory and Computer Programming, U.K. Tutorial and Workshop. Guildford, UK: Springer, 1985.
[12] Reddy US. Categories and Functors, Lecture Notes for Midlands Graduate School in The University of Birmingham. Birmingham, UK: University of Birmingham, 2013.
[13] Rydeheard DE, Burstall RM. Computational Category Theory, Prentice-hall International Series in Computer Science. New Jersey, USA: Prentice Hall 1988.
[14] Soylu E. Category Theory with Haskell. MSc, Osmangazi University, Eskişehir, Turkey, 2013.
[15] Vimal SP. Functional Programming, BITS Plain, 2012.
[16] Walters RFC. Categories and Computer Science, Cambridge Texts in Computer Science. Cambridge, UK: Cambridge University Press, 1991.

ISSN: 1300-0098
Yayın Aralığı: Yılda 6 Sayı
Yayıncı: TÜBİTAK

Arşiv