Оглавление
Применять
-
Определение и применение карри
- Карри – это функция, которая принимает функцию и возвращает новую функцию, которая применяет аргументы исходной функции к своим собственным аргументам.
- Карри используется для преобразования функций в списки аргументов и применяется для создания универсальных функций.
-
Примеры и теоретико-категориальное описание
- Карри применяется к функциям, которые принимают два аргумента, чтобы создать функцию, которая принимает один аргумент и возвращает список из двух элементов.
- В теории категорий карри обозначается как экспоненциальный объект и обозначается как B^A.
-
Универсальное свойство и топологические свойства
- Карри и apply являются сопряженными функторами, что означает, что они коммутируют.
- В топологии карри и apply являются непрерывными функциями.
-
Рекомендации и библиография
- В статье приведены рекомендации по форматированию и использованию библиографических описаний.
- Ссылки на книги и статьи, включая “Лямбда-исчисление” Эйч Пи. Барендрегта и “Теория категорий” Сондерса Мак Лейна, упоминаются для дополнительной информации.
Полный текст статьи: