́ТоТо есть в этом случае вызов функции <code>inc</code> с одним параметром просто приведёт к вызову функции <code>add</code> с двумя, первый из которых — <code>1</code>. Это интуитивное понимание понятия частичного применения. Для закрепления понимания можно рассмотреть классический пример: функция <code>map</code> (её определение на абстрактном функциональном языке приведено во [[Основы функционального программирования/Структуры данных и базисные операции|второй лекции]]). Вот определение <code>map</code> на Хаскеле: