It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator. Он основан на комбинаторной логике, варианте Лямбда-исчисления, который опускает оператор lambda.
An equivalent theoretical formulation, combinatory logic, is commonly perceived as more abstract than lambda calculus and preceded it in invention. Сходное теоретическое понятие, комбинаторная логика, является более абстрактным, нежели λ-исчисления и было создано раньше.
This replacement mechanism simplifies work in both combinatory logic and lambda calculus and would later be called currying, after Haskell Curry. Механизм такой замены упрощает работу как в терминах комбинаторной логики, так и лямбда-исчисления и позднее назван каррированием, в честь Хаскелла Карри.
Толкование
прилагательное
marked by or relating to or resulting from combination Синонимы: combinative,
Мобильная