Content deleted Content added
Line 17:
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]]:
'''f''':'''⊥''' = '''⊥'''
Some functions have a '''unit''' value, such as '''0''' for '''addition''' and '''1''' for '''multiplication''':
'''unit +''' = 0
'''unit ×''' = 1
==Functionals==
| |||