Currificación
Currying
- Fecha
- 1893 · fiabilidad baja
- Lugar
- Jena, Alemania
- Autoría
- Gottlob Frege (1893), redescubierta por Moses Schönfinkel (1924) y desarrollada por Haskell Curry
- Ámbito
- Saber y símbolos
Qué es
Técnica que transforma una función de varios argumentos en una secuencia de funciones de un solo argumento, cada una devolviendo la siguiente función de la cadena; introducida por Frege, redescubierta por Schönfinkel y popularizada por Haskell Curry, de quien toma el nombre.
Fecha de la introducción de Frege poco segura; la técnica debe su nombre a Haskell Curry, que la desarrolló décadas después.
A qué dio paso
- técnica base de los lenguajes de programación funcional
- aplicación parcial de funciones en lenguajes como Haskell y ML
- vínculo entre la lógica combinatoria y la teoría de tipos
- uso habitual en el diseño de interfaces funcionales modernas