When is a Functional Program Not a Functional Program?

When is a Functional Program Not a Functional Program? (1999)

by John Longley

Venue:	Proceedings of Fourth ACM SIGPLAN International Conference on Functional Programming
Citations:	17 - 7 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	When is a Functional Program Not a Functional Program?	user correction - Legacy Corrections
AUTHOR NAME	John Longley	SVM HeaderParse 0.1
ABSTRACT	In an impure functional language, there are programs whose behaviour is completely functional (in that they behave extensionally on inputs), but the functions they compute cannot be written in the purely functional fragment of the language. That is, the class of programs with functional behaviour is more expressive than the usual class of pure functional programs. In this paper we introduce this extended class of "functional" programs by means of examples in Standard ML, and explore what they might have to offer to programmers and language implementors. After reviewing some theoretical background, we present some examples of functions of the above kind, and discuss how they may be implemented. We then consider two possible programming applications for these functions: the implementation of a search algorithm, and an algorithm for exact real-number integration. We discuss the advantages and limitations of this style of programming relative to other approaches. We also consider the incr...	user correction - Legacy Corrections
YEAR	1999	INFERENCE
VENUE	Proceedings of Fourth ACM SIGPLAN International Conference on Functional Programming	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	1--7	INFERENCE
CITATIONS	11 found	ParsCit 1.0