AV
Ну нет, CT полезного для хаскелл довольно много. Но он полезен для разработчика конпелятора и отдельных библиотек
Мне казалось, что интерес в CT всякие производные структуры, которые автоматом возникают, я не замечал, чтобы их часто использовали
Size: a a a
2020 May 23
IK
Типа вы чутка выучили, пока знали поняли недра, потом зыбыли и теперь не способны снова понимать недра?
Да я не дошёл до того чтобы понимать недра
LO
Пока из 3-х пытавшихся 0 смогло объяснить эту формулировку
pure - Unit, join - <>, fmap - (эндо)функтор. Чо там не понятного
IK
Я ТК изучал очень поверхностно
Но из того что я смотрел, мне оно показалось полезным (возможно это была какая-то проекция на оставшуюся часть ТК, и она на самом деле не полезна, хз)
Но из того что я смотрел, мне оно показалось полезным (возможно это была какая-то проекция на оставшуюся часть ТК, и она на самом деле не полезна, хз)
Oℕ
pure - Unit, join - <>, fmap - (эндо)функтор. Чо там не понятного
pure не из теорката, жойн не из теорката
LO
pure не из теорката, жойн не из теорката
Ой да насрать
Oℕ
в теоркате они же мю и ню
LO
да хоть zaloopa
Oℕ
как можно понять, что ню - это пур, пока ты не догадаешься, что монада моделирует чтото impure
LO
Я тебе как инженер поясняю, а не как какой-то там академик-математик в башне
λ
Осталось понять причем тут моноид
LO
как можно понять, что ню - это пур, пока ты не догадаешься, что монада моделирует чтото impure
Я как-то понял же. Чисто по картинкам с этими их графами
LO
Осталось понять причем тут моноид
Моноид это a*a -> a
LO
А тут M*M -> M, где M категория эндофункторов M -> M
LO
Но это не точно
DF
Леонид просто изучал хаскель по мультикам
IK
А тут M*M -> M, где M категория эндофункторов M -> M
Вот я тоже так подумал, но у тебя М это из хаскеля что?
а -> m a?LO
Вот я тоже так подумал, но у тебя М это из хаскеля что?
а -> m a?fmap :: (a -> m a) -> m (m a)
Oℕ
Я как-то понял же. Чисто по картинкам с этими их графами
ок
Oℕ
Моноид это a*a -> a
ну ещё 1->a и законы