Каррирование: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
оформление формул, формулировки, менее многобуквенно, +кое-какие добавки по идеям из Англовики
https://en.wikipedia.org/wiki/Currying
Строка 1:
'''Каррирование''' или '''карринг''' ({{lang-en|currying}}) в [[информатика|информатике]] — преобразование функции от многих аргументов в функциюнабор функций, берущуюкаждая из своикоторых аргументыс поодним одномуаргументом. Возможность такого преобразования впервые отмечена в трудах [[Фреге, Фридрих Людвиг Готлоб|Готтлоба Фреге]], систематически изучена [[Шейнфинкель, Моисей Эльевич|Моисеем Шейнфинкелем]] в 1920-е годы, а наименование получило по имени [[Карри, Хаскелл|Хаскелла Карри]] — разработчика [[Комбинаторная логика|комбинаторной логики]], в которой сведение к функциям одного аргумента носит основополагающий характер.
 
== Определение ==