פונקציית קורי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←דוגמאות: שינוי הגדרת פונקציה לא פורמלית להגדרה באמצעות תחשיב למדא |
|||
שורה 5:
== הגדרה ==
<math>Curry: (A\times B \to C)\to (A \to (B\to C))</math>
<math>Curry = \lambda f\in A \times B \to C.\lambda a \in A.\lambda b\in B .f(<a,b>)</math>
תהי <math>f: A \times B \to C</math> [[פונקציה]], ב[[תחשיב למדא|סימון למדא]] היא תירשם כך:
: <math>f = \lambda <a,b> \in A
אזי פונקציית קורי מתאימה ל-f את הפונקציה הבאה
: <math>f^\mathrm{Cu} = \lambda a \in A . \lambda b \in B . f(a,b) \in C</math>
|