Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 10 / Issue 7

available in:   HTML (1 kB) PDF (137 kB) PS (141 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-010-07-0751


Total Functional Programming

D. A. Turner (Middlesex University, UK)

Abstract: The driving idea of functional programming is to make programming more closely related to mathematics. A program in a functional language such as Haskell or Miranda consists of equations which are both computation rules and a basis for simple algebraic reasoning about the functions and data structures they define. The existing model of functional programming, although elegant and powerful, is compromised to a greater extent than is commonly recognised by the presence of partial functions. We consider a simple discipline of total functional programming designed to exclude the possibility of non-termination. Among other things this requires a type distinction between data, which is finite, and codata, which is potentially infinite.

Keywords: functional programming

Categories: D.1.1