FP (programming language): Difference between revisions

Revision as of 02:03, 14 August 2004

Revision as of 13:49, 14 August 2004

Line 13:

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

'''constant''' '''x̄''' where '''x̄''':'''y''' = '''x'''

for all values '''y''' (except the '''undefined''' value, which all functions, being [[strict function|strict]], map into itself). Next there are the three principal functionals of FP:

'''composition''' '''f''' #x&nbsp#176;'''g''' where '''f'''&#x°'''g''':'''x''' = '''f''':('''g''':'''x''')

'''construction''' ['''f'''₁,...'''f'''_n] where ['''f'''₁,...'''f'''_n]:'''x''' = '''<''' '''f'''₁:'''x''',...,'''f'''_n:'''x''' '''>'''