Oℕ
ну мелочь, можно поправить
да, поэтому и пишу об этом, чтобы попровили
это какие-то мучения, это чисто чистилище, так нельзя поступать с людьми, я про слоумод
Size: a a a
2020 July 20
к
AF
ну с композициями глупо получилось, согласен. Дело в том, что мне на работе просто запретили использовать обычную композицию, только пайп. Люди жаловались, что непонятно
к
там на пятом слайде вместо g.n : B(dog) -> B(B(human))
нужна стрелка B(g):B(dog) -> B(human), и транзитивная стрелка правильная это B(g).n а не g.n
нужна стрелка B(g):B(dog) -> B(human), и транзитивная стрелка правильная это B(g).n а не g.n
ЕО
Это очень странное поведение, а они не скопом форвардятся?
к
Это очень странное поведение, а они не скопом форвардятся?
нет, в телеге форвард сообщений это много форвардов
ЕО
И она прямо запрещает или просто очень медленно форвардит?
к
запрещает, приходится по одному вручную
медленный форвард это было бы красиво, буквально бомба чтобы каждые 10 секунд тикать по сообщению, бесконечно
медленный форвард это было бы красиво, буквально бомба чтобы каждые 10 секунд тикать по сообщению, бесконечно
Oℕ
ну с композициями глупо получилось, согласен. Дело в том, что мне на работе просто запретили использовать обычную композицию, только пайп. Люди жаловались, что непонятно
а что вы хотели продемонстрировать, показав, как можно соединять композиции вроде η•f и η•g ?
ЕО
Я в принципе не против отключить, но это должно быть коллективное более или менее решение
Oℕ
слоумод
Анонимный опрос
Проголосовало: 33AF
к
а решение включить тоже было коллективным? сложно в это поверить, это же убивает любой чат
AF
Мне сказали, что это сложно и непонятно, и совершенно не объясняет >=>
Oℕ
Мне сказали, что это сложно и непонятно, и совершенно не объясняет >=>
Да если показать, как соединять стрелки в виде pure.f и pure.g это не очень помогает
Oℕ
потому что pure . f >=> pure.g = pure (f.g) , и зачем тогда вообще мультипликация
AF
Я думаю, это объясняет как совместить A -> TB и A -> TC, а сами они, конечно, скорее всего, будут подразумевать что-то более сложное, чем pure . f
Oℕ
А вы для целей обучения фп или теорката?
AF
для фп. Просто отвечал на вопрос, почему <=< работает, и столкнулся с непониманием
AF
Кстати, раздумывая над <=<. А что такое flip на языке теорката? Из a -> b -> c как-то можно получить b -> a -> c?