FP (programming language): Difference between revisions

Revision as of 16:29, 26 August 2006

Revision as of 21:15, 27 October 2006

Line 19:

FP programs are ''functions'' '''f''' that each map a single ''value'' '''x''' into another:

'''f''':'''x''' represents the '''value''' that results from applying the '''function''' '''f'''
to the '''value''' '''x'''

Functions are either primitive (i.e., provided with the FP environment) or are built from the primitives by '''program-forming operations''' (also called '''functionals'''). An example of one such operation is '''constant''', which transforms a value '''x''' into the constant-valued function '''x̄'''. Functions are [[strict function|strict]]: