Частичное применение
- Частичное применение функции позволяет использовать только некоторые аргументы функции.
- Это может упростить определение функций и упростить определение полезных понятий в математике.
- В языках программирования, таких как ML, Haskell и F#, функции часто определяются в упрощенном виде с частичным применением.
- В Scala и других языках существуют реализации для частичного применения функций.
- Математические примеры включают определение групповых действий, внутренних продуктов и канонических отображений на двойственные пространства.
- Частичное применение тесно связано с аксиомами для скобки и гомоморфизмами алгебр Ли.
Полный текст статьи: