к
Size: a a a
2020 May 18
YS
Ну да, монада - инстанс типа, а не тип, у которон инстанс
YS
Тут верно
KZ
а что такое "инстанс типа"? инстансы тайп класса знаю, а что за инстансы у типа?
AT
то есть мейби это просто тип, а если есть instance maybe int blabla с байндом и аппликативом, то maybe int - монада?
YS
Kirill Zaborsky
а что такое "инстанс типа"? инстансы тайп класса знаю, а что за инстансы у типа?
Хорошо, инстанс тайпкласса для однопараметрического конструктора типов)
KZ
что есть instance maybe int?
JS
Можно тогда максимально тупой вопрос?
Про аппликативы, функторы, монады.
Я правильно понимаю, что “монада” это всего лишь тип, у которого есть инстанс тайпкласса monad, определяющий байнд/ретурн/юнит/…, и в целом все эти магические слова означают просто присутствие у типа определенных методов работы с ним (в основном по распаковке/запакове значений из/в конструкторы этого типа)?
Про аппликативы, функторы, монады.
Я правильно понимаю, что “монада” это всего лишь тип, у которого есть инстанс тайпкласса monad, определяющий байнд/ретурн/юнит/…, и в целом все эти магические слова означают просто присутствие у типа определенных методов работы с ним (в основном по распаковке/запакове значений из/в конструкторы этого типа)?
методы не только определены, но и удовлетворяют некоторым обязательным свойствам. то есть эти методы "определены правильно"
JS
>> "монада" это всего лишь тип
Конструктор типа)
Конструктор типа)
морфизм, но не обязательно конструктор. например, (Either l) не конструктор
YS
морфизм, но не обязательно конструктор. например, (Either l) не конструктор
Точно, тут обсуждали)
AT
методы не только определены, но и удовлетворяют некоторым обязательным свойствам. то есть эти методы "определены правильно"
ну да, я понимаю про законы, пытаюсь просто совместить в голове структуру в целом.
YS
Давно правда
YS
Но это уже тонкие тонкости
JS
Maybe = N | J x
монада мейби, конструкторы N и J
монада мейби, конструкторы N и J
некорректное определение, у вас x не определён
AT
некорректное определение, у вас x не определён
да, ниже поправили уже, х забыл
D
то есть мейби это просто тип, а если есть instance maybe int blabla с байндом и аппликативом, то maybe int - монада?
если тебе надо узнать является ли монадой что-то там, то смотри в доке на инстансы
AT
если тебе надо узнать является ли монадой что-то там, то смотри в доке на инстансы
нет, мне надо было понять)
всем спасибо.
всем спасибо.
YS
Тогда говорить "является монадой" нельзя, вроде как
YS
"Есть ли инстанс монады для..."
JS
Тогда говорить "является монадой" нельзя, вроде как
говорить о морфизмах типов "является монадой" можно, "является Monad" нельзя