skip to main content
research-article

Functional pearl: la tour d'Hanoï

Published:31 August 2009Publication History
Skip Abstract Section

Abstract

This pearl aims to demonstrate the ideas of wholemeal and projective programming using the Towers of Hanoi puzzle as a running example. The puzzle has its own beauty, which we hope to expose along the way.

Skip Supplemental Material Section

Supplemental Material

functionalpearllatourdhanoionvimeo.mp4

References

  1. Backhouse, Roland, and Maarten Fokkinga. 2001. The associativity of equivalence and the Towers of Hanoi problem. Information Processing Letters 77:71--76. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Bird, Richard, and Oege de Moor. 1997. Algebra of Programming. London: Prentice Hall Europe. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Buneman, Peter, and Leon Levy. 1980. The Towers of Hanoi problem. Information Processing Letters 10(4-5):243--244.Google ScholarGoogle ScholarCross RefCross Ref
  4. Er, M.C. 1983. An analysis of the generalized Towers of Hanoi problem. BIT 23:429--435.Google ScholarGoogle ScholarCross RefCross Ref
  5. Gardner, Martin. 1972. Mathematical games: The curious properties of the Gray code and how it can be used to solve puzzles. Scientific American 227(2):106--109. Reprinted, with Answer, Addendum, and Bibliography, as Chapter 2 of Knotted Doughnuts and Other Mathematical Entertainments, W. H. Freeman and Co., New York, 1986.Google ScholarGoogle ScholarCross RefCross Ref
  6. Hinze, Ralf. 2008. Functional Pearl: Streams and Unique Fixed Points. In Proceedings of the 2008 International Conference on Functional Programming, ed. Peter Thiemann, 189--200. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Knuth, Donald E. 2005. The Art of Computer Programming, Volume 4, Fascicle 2: Generating All Tuples and Permutations. Addison-Wesley Publishing Company. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Korittky, Joachim. 1998. Functional METAPOST. Diplomarbeit, Universitat Bonn.Google ScholarGoogle Scholar
  9. Stockmeyer, Paul K. 2005. The Tower of Hanoi: A bibliography. Available from http://www.cs.wm.edu/~pkstoc/biblio2.pdf.Google ScholarGoogle Scholar

Index Terms

  1. Functional pearl: la tour d'Hanoï

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!