p
кстати да ты не узнавал в какие вузы тебя сразу на третий курс берут?
Ну любой, Политех, Мечникова. А вроде у нас нормальных больше и нету.
Size: a a a
2020 April 29
DS
Ну любой, Политех, Мечникова. А вроде у нас нормальных больше и нету.
хм, у нас даже предметы не пересчитывают.
Т8
@Psilon у меня вопрос про применение монад. В каких случаях передачи лямбды агрументом в нужную функцию недостаточно, а нужна именно монада?
Или я вообще не так понимаю юзкейс?
Или я вообще не так понимаю юзкейс?
DS
Т-34 85
@Psilon у меня вопрос про применение монад. В каких случаях передачи лямбды агрументом в нужную функцию недостаточно, а нужна именно монада?
Или я вообще не так понимаю юзкейс?
Или я вообще не так понимаю юзкейс?
Вообще не понимаешь юзкейс. Монада - это один из интерфейсов для композиции значений.
DS
И он ценен только тем, что ты можешь писать код, абстрагированный от конкретного типа этих значений.
p
Т-34 85
@Psilon у меня вопрос про применение монад. В каких случаях передачи лямбды агрументом в нужную функцию недостаточно, а нужна именно монада?
Или я вообще не так понимаю юзкейс?
Или я вообще не так понимаю юзкейс?
любая функция - монада
Т8
любая функция - монада
Не любая, а которая залезет в другую функцию агрументом
AZ
любая функция - монада
нет, функция это Reader/Writer монада
AZ
это примерно как сказать что функция от 0 аргументов все равно что константа
AZ
AZ
читай
AZ
@hirrolot кстати, еще один способ доказать разворот:
reverseReverse xs = reverse (reverse xs) == xs
reverseCommutes xs ys = reverse (xs ++ ys) == reverse ys ++ reverse xsRP
и что ты доказал?
AZ
что разворот разворачивает список
AZ
ну и это не доказательство, а лемма
RP
с чего бы ты доказал
RP
reverse = id
RP
и все тоже отработает.
AZ
тогда у тебя вторая лемма нарушится
AZ
xs ++ ys != ys ++ xs