𝛈µ
Константа
Size: a a a
2020 August 02
AG
монада это какой-то контекст, куда легко вляпаться и нельзя потом безопасно выбраться
AG
комонада наоборот - из неё легко вывалиться, но попасть туда в общем случае нельзя
𝛈µ
монада это какой-то контекст, куда легко вляпаться и нельзя потом безопасно выбраться
Типа русских скалачатов?
AG
ага
O
добрый вечер а покажите map для константы пожалуйста интересно посмотреть очень прошу
AG
map _ (MkConst x) = MkConst xUS
нужен срочно инстанс Unlift[Scalachat, RealLife]
GP
добрый вечер а покажите map для константы пожалуйста интересно посмотреть очень прошу
мкконст
𝛈µ
добрый вечер а покажите map для константы пожалуйста интересно посмотреть очень прошу
"constanta".map(a => println(a))
GP
добрый вечер а покажите map для константы пожалуйста интересно посмотреть очень прошу
Можешь в ид врапнуть и никто не узнаёт, есть имплиситы
𝛈µ
Шах и мат
𝛈µ
Я показал мап для константы
O
map _ (MkConst x) = MkConst xчто за MkConst ?
GP
Я показал мап для константы
да
𝛈µ
Стринг - это функтор, нельзя обосраться
AG
что за MkConst ?
data Const a b = MkConst aGP
что за MkConst ?
в едрес глянь (идрис)
O
так это разве константа? это константный функтор
O
вот 1 - это константа