Functional programming and geometry
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.
keywordseducation functional programming modularity types computer geometry tilings
Unable to display preview. Download preview PDF.
- 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.H.S.M. Coxeter. Introduction to geometry. John Wiley and sons, 1980.Google Scholar
- 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.Ph. Lechenadec. Canonical forms in finitely presented algebras. Pitman, 1986.Google Scholar