p
add5 = (+) 5 - а тут?Есть
Size: a a a
2020 June 26
H
Полунин про захват среды наверное
AZ
Есть
ну это глупость, это одно и то же
AZ
тебе даже ИДЕ скажет
AZ
хороший пример это как раз ио
ИО и каррирование - ровно 0 связи
t
монадические функции ж от 1 аргумента все
SP
yoba: -> any -> any -> any
pure_fun = yoba . yoba
вот это по определению хаскелистов pure_fun будет чистая, но когда её вызовут она станет грязной
pure_fun = yoba . yoba
вот это по определению хаскелистов pure_fun будет чистая, но когда её вызовут она станет грязной
p
ну это глупость, это одно и то же
Только из-за редукции
AZ
yoba: -> any -> any -> any
pure_fun = yoba . yoba
вот это по определению хаскелистов pure_fun будет чистая, но когда её вызовут она станет грязной
pure_fun = yoba . yoba
вот это по определению хаскелистов pure_fun будет чистая, но когда её вызовут она станет грязной
нет никакого "когда вызовут". ПРограмма на хаскелле пишется чтобы тайпчекнуться, а не выполняться
t
yoba: -> any -> any -> any
pure_fun = yoba . yoba
вот это по определению хаскелистов pure_fun будет чистая, но когда её вызовут она станет грязной
pure_fun = yoba . yoba
вот это по определению хаскелистов pure_fun будет чистая, но когда её вызовут она станет грязной
нет
H
yoba: -> any -> any -> any
pure_fun = yoba . yoba
вот это по определению хаскелистов pure_fun будет чистая, но когда её вызовут она станет грязной
pure_fun = yoba . yoba
вот это по определению хаскелистов pure_fun будет чистая, но когда её вызовут она станет грязной
Нет
t
чистая функция не может быть "вызвана"
p
нет никакого "когда вызовут". ПРограмма на хаскелле пишется чтобы тайпчекнуться, а не выполняться
Блин ты такой смешной. Писать программу чтобы тайпчекнулась.
t
чистая функция "вызвана" в момент, когда ты о ней подумал
AZ
вы как всегда не понимаете, что ИО нужно чтобы разделить формирование ИО и исполнение, а не для того, чтобы выводить на экран чистой функцией - это невозможно
AZ
формирование ИО - чистая функциЯ, исполнение - нет
p
чистая функция "вызвана" в момент, когда ты о ней подумал
Ещё один, лол. Ты даже смешнее.
AZ
но в хаскель коде у тебя не должно быт ьиспольнения ИО если ты не редкостный гов... негодяй
SP
ИО и каррирование - ровно 0 связи
потому что ты плохо меня читал. я показал как можно постепенно ПОДМЕНЯТЬ понятия. сначала ты шараешь пурити тем что ты возвращаешь код с захваченными данными вместо данных - это первый шаг. а потом ты подменяешь тем что говоришь что этот код как бы "вызывается снаружи" и поэтому он чистый
t
Ещё один, лол. Ты даже смешнее.
как поумнеешь - перестанет смешить все подряд