Development of a Prototype Geometric Modelling System using a Functional Language

The world outside of academia lacks large scale real examples of applications written in functional programming languages. This technical report considers the development of one such application, a Geometric Modelling System. The core of the report describes the application in some depth. The report concludes with an appraisal of the results and considers the appropriateness of the functional programming style.

[1]  Paul Hudak,et al.  Conception, evolution, and application of functional programming languages , 1989, CSUR.

[2]  Philip Wadler,et al.  Views: a way for pattern matching to cohabit with data abstraction , 1987, POPL '87.

[3]  Simon L. Peyton Jones,et al.  Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.

[4]  John Amanatides,et al.  Merging BSP trees yields polyhedral set operations , 1990, SIGGRAPH.

[5]  Bruce F. Naylor,et al.  Set operations on polyhedra using binary space partitioning trees , 1987, SIGGRAPH.

[6]  John Hughes,et al.  Why Functional Programming Matters , 1989, Comput. J..

[7]  Jean Vuillemin,et al.  Exact real computer arithmetic with continued fractions , 1988, IEEE Trans. Computers.

[8]  Simon Peyton Jones,et al.  Some Early Experiments on the GRIP Parallel Reducer , 1990 .

[9]  F. Warren Burton,et al.  Pattern Matching with Abstract Data Types , 1993, J. Funct. Program..

[10]  Donald E. Knuth,et al.  The art of computer programming. Vol.2: Seminumerical algorithms , 1981 .

[11]  Hans-Juergen Boehm,et al.  Exact real arithmetic: a case study in higher order programming , 1986, LFP '86.

[12]  Colin Runciman,et al.  What About the Natural Numbers? , 1989, Comput. Lang..

[13]  Colin Runciman.  TIP in Haskell - another Exercise in Functional Programming , 1991, Functional Programming.

[14]  Duncan C. Sinclair.  Solid Modelling in Haskell , 1990, Functional Programming.