KV
@haskell_learn сюда можно обратиться
Size: a a a
2020 July 15
к
plus a b = a + b
это
plus = \a -> \b -> a + b
вызывая plus 5 ты выполняешь только верхнюю функцию, создаешь замыкание
({ a = 5 }, \b -> a + b)
потом ты вызываешь результат plus 5 с аргументом 6 и уже вызываешь внутреннюю функцию \b -> a + b, подставляем 6 вместо b, a заменяется на 5 из замыкания, получаем 5 + 6
это
plus = \a -> \b -> a + b
вызывая plus 5 ты выполняешь только верхнюю функцию, создаешь замыкание
({ a = 5 }, \b -> a + b)
потом ты вызываешь результат plus 5 с аргументом 6 и уже вызываешь внутреннюю функцию \b -> a + b, подставляем 6 вместо b, a заменяется на 5 из замыкания, получаем 5 + 6
g
Хорошо я понимаю все так:
Допустим есть некая функция
с типом a -> (a -> a)
Эта функция берет первое значение (тот, который не в скобках) с типом a. Потом это первое значение запоминается, и выполняется то, что в скобках. Из второго аргумента варится третье значение (третья a). Потом третье значение решает дела с самым первым значением, которое запомнилось. И делается функция. Так что-ли?
Допустим есть некая функция
с типом a -> (a -> a)
Эта функция берет первое значение (тот, который не в скобках) с типом a. Потом это первое значение запоминается, и выполняется то, что в скобках. Из второго аргумента варится третье значение (третья a). Потом третье значение решает дела с самым первым значением, которое запомнилось. И делается функция. Так что-ли?
JM
@haskell_learn сюда можно обратиться
.
к
a -> (a -> a)
это функция, которая принимает первый аргумент и отдает НОВУЮ функцию, просто новую функцию
передавая еще один аргумент мы просто вызываем эту новую функцию
plus 5 6
это
(plus 5) 6
каждая созданная лямбда сохраняет свой скоуп, поэтому новая функция знает что a = 5 в этом случае
это функция, которая принимает первый аргумент и отдает НОВУЮ функцию, просто новую функцию
передавая еще один аргумент мы просто вызываем эту новую функцию
plus 5 6
это
(plus 5) 6
каждая созданная лямбда сохраняет свой скоуп, поэтому новая функция знает что a = 5 в этом случае
KV
Хорошо я понимаю все так:
Допустим есть некая функция
с типом a -> (a -> a)
Эта функция берет первое значение (тот, который не в скобках) с типом a. Потом это первое значение запоминается, и выполняется то, что в скобках. Из второго аргумента варится третье значение (третья a). Потом третье значение решает дела с самым первым значением, которое запомнилось. И делается функция. Так что-ли?
Допустим есть некая функция
с типом a -> (a -> a)
Эта функция берет первое значение (тот, который не в скобках) с типом a. Потом это первое значение запоминается, и выполняется то, что в скобках. Из второго аргумента варится третье значение (третья a). Потом третье значение решает дела с самым первым значением, которое запомнилось. И делается функция. Так что-ли?
Похоже на правду
🌚D
Хорошо я понимаю все так:
Допустим есть некая функция
с типом a -> (a -> a)
Эта функция берет первое значение (тот, который не в скобках) с типом a. Потом это первое значение запоминается, и выполняется то, что в скобках. Из второго аргумента варится третье значение (третья a). Потом третье значение решает дела с самым первым значением, которое запомнилось. И делается функция. Так что-ли?
Допустим есть некая функция
с типом a -> (a -> a)
Эта функция берет первое значение (тот, который не в скобках) с типом a. Потом это первое значение запоминается, и выполняется то, что в скобках. Из второго аргумента варится третье значение (третья a). Потом третье значение решает дела с самым первым значением, которое запомнилось. И делается функция. Так что-ли?
function (x: a) { return function (y: a) { return что-нибудь типа a }}DR
Способ организации ленивых вычислений
к ленивости они отношение имеют примерно никакое
KV
к ленивости они отношение имеют примерно никакое
Имеют в случае хаскеля
🌚D
По сути это банальный контейнер еще
И что бы в итоге обрабатывать данные в контейнере, не вынимая их наружу
И что бы в итоге обрабатывать данные в контейнере, не вынимая их наружу
сегодня был твиттер-срач на эту тему
🌚D
MK
так, я уже готовился выдать товарищу RO на часик после этого, но он вышел сам
MK
прекращаем этот бессмысленный разговор
DR
Имеют в случае хаскеля
какое?