YS
"мейби уже стал монадой"
Тогда как с этим?
Тогда как с этим?
Size: a a a
2020 May 18
YS
Мейби монада или нет?)
JS
да, давно уже
YS
Ох
YS
Сложно(
JS
есть инстанс Monad = является монадой
AT
мейби - монада, потому что этот тип имеет инстанс monad короче говоря?
YS
Нужно запинить правило как правильно говорить)
AT
ага.
YS
Мне проще говорить конечно что мейби - монада
JS
вот попроще:
x является типом ≠ x является Type,
но
x является типом = x : Type,
x является типом ≠ x является Type,
но
x является типом = x : Type,
YS
Главное чтобы потом тут за гаражами не побили х)
AT
вы извините, что я тут спровоцировал поток банальностей, но сказали что на любые вопросы отвечают)
JS
мейби - монада, потому что этот тип имеет инстанс monad короче говоря?
да, только Monad с большой буквы
AT
да, только Monad с большой буквы
+, понятно.
к
вот попроще:
x является типом ≠ x является Type,
но
x является типом = x : Type,
x является типом ≠ x является Type,
но
x является типом = x : Type,
ну тогда по аналогии
x является монадой - x : Monad something
x является монадой - x : Monad something
JS
вы извините, что я тут спровоцировал поток банальностей, но сказали что на любые вопросы отвечают)
видите, не только для вас это было полезно
JS
ну тогда по аналогии
x является монадой - x : Monad something
x является монадой - x : Monad something
аналогия не сработала
JS
ну тогда по аналогии
x является монадой - x : Monad something
x является монадой - x : Monad something
но ты почти угадал, можно сказать, что
x — монада = ∃ instance : Monad x