Complex sentence: Higher-order functions were studied long before functional programming existed, in lambda calculus, a formalism which has influenced the design of several functional programming languages, especially the Haskell programming language.
Split into simpler sentences: Higher-order functions were studied in lambda calculus long before functional programming existed. Lambda calculus is a formalism which has influenced the design of several functional programming languages, especially the Haskell programming language.