scrambled
Home//Concepts/Currying
scrambled
Overviewjust now
154
2
4
1082
3
2
24
633
Dimensional inference rule formatjust nowAbstract binding graphjust nowAbstract binding tree abtjust nowAbstract binding tree abt valence abstractorjust nowAbstract data typejust now
408
11
4
Overviewjust now
154
2
4
1082
3
2
24
633
Dimensional inference rule formatjust nowAbstract binding graphjust nowAbstract binding tree abtjust nowAbstract binding tree abt valence abstractorjust nowAbstract data typejust now
408
11
4
Concept

Currying

Modified just now
Books
  • Chapter 5. The untyped/pure lambda-calculus
JourneyProgramming Language Theory Statusmastered Tags
  • language-feature-design

The act of turning a multi-parameter function into a Higher-order function that accepts one argument and returns a partially-applied version of the original function.

Previous in ConceptsCurry y combinator z combinatorNext in Concepts Currying rocq
Books
  • Chapter 5. The untyped/pure lambda-calculus
JourneyProgramming Language Theory
Statusmastered
Tags
  • language-feature-design