פונקציית קורי – הבדלי גרסאות

'''פונקציית Curry''' היא [[פונקציה]] המקבלת פונקציה דו-מקומית <math>f: A \times B \to C</math> ומחזירה פונקציה שמחזירה פונקציה <math>f^{\mathrm{Cu}}: A \to ( B \to C)</math>. באופן פורמלי, קל להגדיר את פונקציית קורי באמצעות [[תחשיב למדא]]. באופן אינטואיטיבי, פונקציית קורי היא פונקציה שבמקום להכניס מספר קלטים ב"בת-אחת" בפונקציה המקורית, יוצרת ממנה פונקציה שבה מכניסים את הקלטים אחד אחרי השני, כך שבשלבי הביניים לפני הכנסת הקלט האחרון, יש לנו פונקציה עם פחות משתנים.

 

 

== הגדרה ==