Content deleted Content added
m --> es: |
|||
Line 17:
'''constant''' '''x̄''' where '''x̄''':'''y''' = '''x'''
for all values '''y''' (except the '''undefined''' value, '''⊥''', which all functions map into itself, due to their being [[strict function|strict]]). Next there are the
'''composition''' '''f'''&#x°'''g''' where '''f'''&#x°'''g''':'''x''' = '''f''':('''g''':'''x''')
'''construction''' ['''f'''<sub>1</sub>,...'''f'''<sub>n</sub>] where ['''f'''<sub>1</sub>,...'''f'''<sub>n</sub>]:'''x''' = ⟨
'''condition''' ('''h''' ⇒ '''f''';'''g''') where ('''h''' ⇒ '''f''';'''g'''):'''x''' = '''f''':'''x''' if '''h''':'''x''' = '''T'''
and ('''h''' ⇒ '''f''';'''g'''):'''x''' = '''g''':'''x''' if '''h''':'''x''' = '''F'''
and ('''h''' ⇒ '''f''';'''g'''):'''x''' = '''⊥''' otherwise
'''apply-to-all''' ''α'''''f''' where ''α'''''f''':⟨'''x'''<sub>1</sub>,...,'''x'''<sub>n</sub>⟩ = ⟨'''f''':'''x'''<sub>1</sub>,...,'''f''':'''x'''<sub>n</sub>⟩
'''insert-right''' /'''f''' where /'''f''':⟨'''x'''⟩ = '''x'''
and /'''f''':⟨'''x'''<sub>1</sub>,'''x'''<sub>2</sub>,...,'''x'''<sub>n</sub>⟩ = '''f''':⟨'''x'''<sub>1</sub>,'''f''':⟨'''x'''<sub>2</sub>,...,'''x'''<sub>n</sub>⟩⟩
[[es:FP (lenguaje de programación)]]
| |||