Что значит частичное применение функции?

@Andy_Coldfield · Регистрация: 25.11.2017

Author24 — интернет-сервис помощи студентам

Haskell

1	(max 5) 43

Можете подсказать почему 43?

Добавлено через 6 минут

Haskell

(div 4) 2

Подскажите как работает частичное применения функции. Ведь функция применена к одному аргументу к значению которое в скобке или я ошибаюсь?

@Black Fregat · 24.10.2018, 23:21

Берем функцию с двумя, например, аргументами.
Если применяем к двум аргументам - получаем сразу результат.
Если применяем к одному аргументу - получаем новую функцию, уже от одного (оставшегося) аргумента.

Добавлено через 2 минуты

Код

> f = (+ 2)
> f 3
5
> f 5
7

Добавлено через 1 минуту

Сообщение от Andy_Coldfield

Можете подсказать почему 43?

А сколько должно быть? Максимум из 5 и 43 как раз 43

@Andy_Coldfield · 24.10.2018, 23:52 **[ТС]**

Black Fregat, то есть я правильно понял максимум от пяти пять и потом получившееся значение функции макс применяем к оставшемуся аргументу?

@korvin_ · 25.10.2018, 00:24

Сообщение от Andy_Coldfield

то есть я правильно понял максимум от пяти пять

Нет, не правильно. Максимум от пяти — функция от x, вычисляющая максимум от пяти и x.

Добавлено через 4 минуты

Сообщение от Black Fregat

Берем функцию с двумя, например, аргументами.

Ну, если точнее, то функций с двумя аргументами не бывает.

Andy_Coldfield,

Haskell

1 2	max :: Int -> Int -> Int max x y = if x < y then x else y

то же самое, что

Haskell

1 2	max :: Int -> (Int -> Int) max x = \y -> if x < y then x else y

соответственно

Haskell

1 2	max 5 == \y -> if 5 < y then 5 else y (max 5) 43 == (\y -> if 5 < y then 5 else y) 43

@Black Fregat · 25.10.2018, 00:29

Andy_Coldfield, не совсем. Частичное применение функции не означает каких-то вычислений. Скорее это нужно понимать так, что новая функция запоминает внутри себя значение первого аргумента. А вычисления начнутся тогда, когда будет задан и второй аргумент

XRuZzz · 25.10.2018, 05:45

learnyouahaskell.com/higher-order-functions

Tklwegsd · 25.10.2018, 07:32

Andy_Coldfield, Частичное применение функции - это определение новой функции с меньшим количество аргументов.

Haskell

1	f x = max 5

это тоже самое, если определить такую функцию

Haskell

1	g x = max 5 x

@Black Fregat · 25.10.2018, 09:10

Tklwegsd, только уж

Haskell

f = max 5

@Andy_Coldfield · 25.10.2018, 11:39 **[ТС]**

Спасибо большое, все понятно

@Black Fregat Фрилансер 3705 / 2077 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	24.10.2018, 23:21	2
	Берем функцию с двумя, например, аргументами. Если применяем к двум аргументам - получаем сразу результат. Если применяем к одному аргументу - получаем новую функцию, уже от одного (оставшегося) аргумента. Добавлено через 2 минуты Код > f = (+ 2) > f 3 5 > f 5 7 Добавлено через 1 минуту Сообщение от Andy_Coldfield Можете подсказать почему 43? А сколько должно быть? Максимум из 5 и 43 как раз 43 1

@Andy_Coldfield 21 / 19 / 6 Регистрация: 25.11.2017 Сообщений: 708
	24.10.2018, 23:52 [ТС]	3
	Black Fregat, то есть я правильно понял максимум от пяти пять и потом получившееся значение функции макс применяем к оставшемуся аргументу? 0

@Black Fregat Фрилансер 3705 / 2077 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	25.10.2018, 00:29	5
	Andy_Coldfield, не совсем. Частичное применение функции не означает каких-то вычислений. Скорее это нужно понимать так, что новая функция запоминает внутри себя значение первого аргумента. А вычисления начнутся тогда, когда будет задан и второй аргумент 4

XRuZzz Антикодер 1804 / 869 / 48 Регистрация: 15.09.2012 Сообщений: 3,081
	25.10.2018, 05:45	6
	learnyouahaskell.com/higher-order-functions 1

@Andy_Coldfield 21 / 19 / 6 Регистрация: 25.11.2017 Сообщений: 708
	25.10.2018, 11:39 [ТС]	9
	Спасибо большое, все понятно 0