Logo: to the web site of Uppsala University

uu.sePublications from Uppsala University
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Monads in Haskell and Category Theory
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2019 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

he monad is a mathematical concept, used by Haskell to describe — among other things — Input/Output. Many are intimidated by it since it stems from abstract mathematics — namely Category Theory. However, the mathematics required to use and understand the monad is straight forward and intuitive, and can be explained through incremental definitions and proofs. This paper intends to construct and explain the monad from the ground up and show some example uses for it.

Place, publisher, year, edition, pages
2019. , p. 36
Series
IT ; 19050
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:uu:diva-396843OAI: oai:DiVA.org:uu-396843DiVA, id: diva2:1369286
Educational program
Bachelor Programme in Computer Science
Supervisors
Examiners
Available from: 2019-11-11 Created: 2019-11-11 Last updated: 2019-11-11Bibliographically approved

Open Access in DiVA

fulltext(376 kB)6945 downloads
File information
File name FULLTEXT01.pdfFile size 376 kBChecksum SHA-512
a11fc7cd55a2226063a5ee964ad62ea6bf79cdfd67329559044489ac92b0546c5133e50dc95aceb2133ab0d6b3ba9b44b241c11e67bff8c23a922e0e15597e42
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 6947 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 912 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf