Exportación (Currying)
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
La equivalencia lógica que transforma una implicación cuyo antecedente es una conjunción en una implicación anidada: (A ∧ B) → C equivale a A → (B → C). En lecturas tipadas y computacionales esto corresponde al currying, el isomorfismo entre funciones de dos argumentos y funciones curryficadas.