Blog
About

  • Record: found
  • Abstract: found
  • Article: found
Is Open Access

The Essence of the ITERATOR Pattern

,

Workshop on Mathematically Structured Functional Programming (MSFP 2006) (MSFP)

Mathematically Structured Functional Programming

2 July 2006

Iterator, Traversal, Design Pattern, Map, Fold, Monad, Idiom

Read this article at

Bookmark
      There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

      Abstract

      The ITERATOR pattern gives a clean interface for element-by-element access to a collection. Imperative iterations using the pattern have two simultaneous aspects: mapping and accumulating. Various existing functional iterations model one or other of these, but not both simultaneously. We argue that McBride and Paterson’s idioms, and in particular the corresponding traverse operator, do exactly this, and therefore capture the essence of the ITERATOR pattern. We present some axioms for traversal, and illustrate with a simple example, the repmin problem.

      Related collections

      Most cited references 11

      • Record: found
      • Abstract: not found
      • Article: not found

      Notions of computation and monads

       Eugenio Moggi (1991)
        Bookmark
        • Record: found
        • Abstract: not found
        • Book Chapter: not found

        Distributive laws

         Jon Beck (1969)
          Bookmark
          • Record: found
          • Abstract: not found
          • Article: not found

          Theorems for free!

           Philip Wadler (1989)
            Bookmark

            Author and article information

            Affiliations
            Oxford University Computing Laboratory

            Wolfson Building, Parks Road, Oxford OX1 3QD, UK
            Contributors
            Conference
            July 2006
            July 2006
            : 1-16
            10.14236/ewic/MSFP2006.7
            © Jeremy Gibbons et al. Published by BCS Learning and Development Ltd. Workshop on Mathematically Structured Functional Programming (MSFP 2006), Kuressaare, Estonia

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Workshop on Mathematically Structured Functional Programming (MSFP 2006)
            MSFP
            Kuressaare, Estonia
            2 July 2006
            Electronic Workshops in Computing (eWiC)
            Mathematically Structured Functional Programming
            Product
            Product Information: 1477-9358 BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article