G
композиции
Size: a a a
2020 January 17
AZ
я имею ввиду такой уникод символ
ну а таких делать и не надо. У меня на клаве таких нет
AZ
читать туториал как набирать альтом нужные символы и запоминать я не хочу
AZ
W@®©®@f†
AZ
эх, прошло 15 лет. а руки помнят
В
Я не понимаю почему мой вариант не работает.
Почему правая функция в
f . g это же f(g(...)), почему (+ 1) . (+) это не f a b = 1 + (a + b)? и почему
(+) . (1 +) работает, если это по идее f a b = b + (1 + a)? в чём разница?Почему правая функция в
f . g не может иметь несколько аргументов?AZ
Я не понимаю почему мой вариант не работает.
Почему правая функция в
f . g это же f(g(...)), почему (+ 1) . (+) это не f a b = 1 + (a + b)? и почему
(+) . (1 +) работает, если это по идее f a b = b + (1 + a)? в чём разница?Почему правая функция в
f . g не может иметь несколько аргументов?потому что (+) принимает один аргумнет
AZ
и это стрелка
AZ
а ты передаешь число
PP
Я не понимаю почему мой вариант не работает.
Почему правая функция в
f . g это же f(g(...)), почему (+ 1) . (+) это не f a b = 1 + (a + b)? и почему
(+) . (1 +) работает, если это по идее f a b = b + (1 + a)? в чём разница?Почему правая функция в
f . g не может иметь несколько аргументов?почитай про композицию функций
AZ
если сделать curry/uncurry то сработает
В
а ты передаешь число
понял
В
почитай про композицию функций
М? Про композицию функций я вроде и так понимаю. Моя проблема была в другом
AZ
Подскажите плз как бесточечно записать
sqrFoo a b c d e f g h = (^2) (foo a b c d e f g h)AZ
я думал что это будет:
sqrFoo = (^2) . foo
sqrFoo = (^2) . foo
AZ
У foo кайнд сложный
AZ
я думал это всё будет считаться одним кайндом
AZ
типа
sqrFoo (a b c d e f g h) = ((^2) . foo) (a b c d e f g h)
sqrFoo (a b c d e f g h) = ((^2) . foo) (a b c d e f g h)
AZ
такое бы работало, если бы функция была некаррированная
AZ
(a b c d e f g h) — это применение a к b, c, d, e, f, g, h