Functional programming and geometry

  • Guy Cousineau
Education: Invited Paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1292)


This paper is based on an experience in teaching functional programming to mathematics students. This experience had two objectives. The first one was to help the student assimilate some mathematical concepts by putting them to practical use in programs. The second one was to give them a good start in programming by emphasizing the fact that abstraction, which is so useful in mathematics, is equally useful in programming and allows for more powerful and more easily extensible programs. The mathematical domain used here is geometry and more precisely geometrical transformations, and their group structure. The programming projects are oriented towards 2D tilings, both Euclidean and hyperbolic.


education functional programming modularity types computer geometry tilings 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. Cousineau and M. Mauny. Approche fonctionnelle de la programmation. Ediscience, 1995. English version to be published by Cambridge University Press in september 97.Google Scholar
  2. 2.
    H.S.M. Coxeter. Introduction to geometry. John Wiley and sons, 1980.Google Scholar
  3. 3.
    H.S.M. Coxeter and W.O.J. Mauser. Generators and relations for discrete groups. Ergenisse der Mathematik und ihrer Grenzgebiete, 14, 1965.Google Scholar
  4. 4.
    Ph. Lechenadec. Canonical forms in finitely presented algebras. Pitman, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Guy Cousineau
    • 1
  1. 1.Laboratoire d'InformatiqueEcole Nornale SupérieureParis Cedex 05

Personalised recommendations