A technique called "currying," which is used to set the arity of certain constructs to "one," is used to implement (*) first-class forms of the namesake things in this paradigm.
Gerald Sussman and Guy Steele coined the name for a technique used in this paradigm in which an extra argument is included to indicate what should be done after a routine has finished; that technique is continuation passing style. A technique called "currying," which is used to set the arity of certain constructs to "one," is used to implement (*) first-class forms of the namesake things in this paradigm. Pattern matching is generally prevalent in this style, which often only evaluates a function argument if it is actually used due to "lazy evaluation." Technically, printing to a screen is not allowed in this style, since the "pure" form of this style avoids side effects. Languages which use this paradigm include ML, Scheme, and Haskell, and it is closely modeled on the lambda calculus. For 10 points, name this programming paradigm, which views programs as the namesake mathematical constructs.
Gerald Sussman and Guy Steele coined the name for a technique used in this paradigm in which an extra argument is included to indicate what should be done after a routine has finished; that technique is continuation passing style.
functional programming