See this document in CiteSeerX!

The Gist of Side Effects in Pure Functional Languages  (Make Corrections)  
Pablo Nogueira http://www.google.com/search?q=Pablo+Nogueira 23rd September...



  Home/Search   Context   Related

 
View or download:
babel.ls.fi.upm.es...gisteffects.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  babel.ls.fi.upm.es/papers/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We explain the gist of how to attain side effects in pure functional programming languages via monads and unique types with input-output as a motivating example. Our vehicle for illustration is the strongly type-checked, pure, and non-strict functional language Haskell. The category-theoretical origins of monads are explained. Some basic notions of Category Theory are also presented in programming terms. We provide a list of suggested reading material in the references. (Update)

Active bibliography (related documents):   More   All
0.6:   Polytypic Functional Programming and Data Abstraction - Iglesias (2006)   (Correct)
0.3:   Basic Category Theory for Models of Syntax - Crole (2002)   (Correct)
0.3:   Higher-Order Charity - Schroeder (1997)   (Correct)

Similar documents based on text:   More   All
0.2:   GistSumm: A Summarization Tool Based on a New Extractive Method - Pardo, Rino, Nunes (2003)   (Correct)
0.2:   OCELOT: A system for summarizing web pages - Vibhu (2000)   (Correct)
0.2:   Understanding Ecient Universal Functions for the -Calculus - Pablo Nogueira Babel (2001)   (Correct)

BibTeX entry:   (Update)

@misc{ http-gist,
  author = "Pablo Nogueira Http",
  title = "The Gist of Side Effects in Pure Functional Languages",
  url = "citeseer.ist.psu.edu/731997.html" }
Citations (may not include all citations):
369   Information and Computation (context) - Moggi, computation - 1991
333   Introduction to Functional Programming (context) - Bird, Wadler - 1988
236   Categories for the Working Mathematician (context) - MacLane - 1971
206   Why functional programming matters - Hughes - 1989
138   Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, Van Eekelen et al. - 1993
84   Basic Category Theory for Computer Scientists (context) - Pierce - 1991
41   Mathematical Structures in Computer Science (context) - Goguen, manifesto - 1991
30   International Series in Computer Science (context) - Bird, de Moor et al. - 1997
21   Kluwer Academic Publishers (context) - Levy, Functional et al. - 2004
14   Topoi: The Categorial Analysis of Logic (context) - Goldblatt - 1979
14   A gentle introduction to category theory --- the calculation.. (context) - Fokkinga - 1992
11   i and Giuseppe Longo. Categories, types, and structures: an .. (context) - Aspert - 1988
3   Number 28 in Cambridge Computer Science Texts (context) - Walters, Computer - 1991
2   Category theory (context) - Barr, Wells - 1999
1   An introduction to categories in computing (context) - Jay
1   st International Spring School on Advanced Functional Progra.. (context) - Jeuring, Meijer - 1995
1   International Series in Computer Science (context) - Reade, Functional - 1989
1   A categorical primer - Hillman - 2001

Documents on the same site (http://babel.ls.fi.upm.es/papers/):   More
Lazy Narrowing in a Graph Machine - Moreno-Navarro, Kuchen, Loogen.. (1990)   (Correct)
From Executable Specifications to Java - Herranz, Maya, Moreno-Navarro (2003)   (Correct)
Efficient Implementation of General Negation Using.. - Munoz, Moreno.. (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC