[
Для Endo mempty это id
Size: a a a
2021 November 30
AP
Нет, а почему вы считаете что должен быть? Экземпляр класса моноид для функции это поточечное сложение с использованием моноидной операции на результирующем типе (для этого результирующий тип должен быть моноидом).
E
Просто вижу сходство между compose и <>
AP
Видимо, вы действительно думаете об Endo, как выше сказали
E
Да, все сошлось
2021 December 02
gо
а где-нибудь есть живое зеркало LYHGG?
p
Переслано от parket
Chapters - Learn You a Haskell for Great Good!
http://learnyouahaskell.com/chapters
http://learnyouahaskell.com/chapters
gо
вот ровно этот сайт у меня и не открывается
p
🤷♂.
A
а у меня открывается. магия?
gо
разобрался. у меня браузер обнаруживает, что у него есть HTTPS-версия и перенаправляет на неё. но HTTPS-версия выдаёт ошибку и всё.
Д
JS
сопоставление с образцом
JS
точнее, это написано сопоставление с образцом, но само сопоставление не происходит, потому что результат не используется (лень)
Д
Не могу найти внятное объяснение »= в Reader. Есть у кого-нибудь? Тут почему-то пропускается, в курсе Москвина непонятно
Д
Спасибо
JS
попробуйте представить Reader как функцию со скрытым аргументом
JS
байнд соединяет два вычисления в одном контексте, то есть с одинаковым скрытым аргументом
[
(>>=) :: (e -> a) -> (a -> e -> b) -> e -> b
f >>= cont = \e -> cont (f e) e
Д
Было бы понятно, как это использовать..