Zurra

---

En matemáticas y ciencias de la computación , curry es la técnica de convertir una función que toma múltiples argumentos en una secuencia de funciones que cada una toma un solo argumento. Por ejemplo, curry una función que toma tres argumentos crea tres funciones:${\ estilo de visualización f}$

${\displaystyle {\begin{alineado}x=f(a,b,c)&{\text{ se convierte en:}}\\h=g(a)\\i=h(b)\\x=i( c)\\{\text{o llamadas en secuencia:}}\\x=g(a)(b)(c)\end{alineado}}}$

O de manera más abstracta, una función que toma dos argumentos, uno de y otro de , y produce salidas en curry se traduce en una función que toma un solo argumento de y produce como salidas funciones de a Currying está relacionado, pero no es lo mismo como, aplicación parcial .${\ estilo de visualización X}$${\ estilo de visualización Y}$${\ estilo de visualización Z,}$${\ estilo de visualización X}$${\ estilo de visualización Y}$${\ estilo de visualización Z.}$

El curry es útil tanto en entornos prácticos como teóricos. En los lenguajes de programación funcional y muchos otros, proporciona una forma de administrar automáticamente cómo se pasan los argumentos a las funciones y excepciones. En informática teórica , proporciona una forma de estudiar funciones con múltiples argumentos en modelos teóricos más simples que proporcionan un solo argumento. El marco más general para la noción estricta de curry y uncurrying se encuentra en las categorías monoidales cerradas , lo que sustenta una amplia generalización de la correspondencia de demostraciones y programas de Curry-Howard a una correspondencia con muchas otras estructuras, incluida la mecánica cuántica, los cobordismos y la teoría de cuerdas. . ^[1] Fue presentado porGottlob Frege , ^{[2] [3]} desarrollado por Moses Schönfinkel , ^{[3] [4] [5] [6]} y más desarrollado por Haskell Curry . ^{[7] [8]}

---