АГ
Странно звучит
Size: a a a
2020 July 05
YS
ага, но вдруг
TA
Смех смехом, а какая была бы фры конструкция для контрвариантного функтора?)
Ну,сначала нужна какая-то контрвариантная монада(если так можно выразиться)...
Может что-то на подобии:
class CMonad m where
cbind :: m a -> (b -> m a) -> m b
Может что-то на подобии:
class CMonad m where
cbind :: m a -> (b -> m a) -> m b
TA
Хотя , почему-то логичнее кажется такой вариант:
class CMonad m where
cbind :: m a -> (m b -> a) -> m b
class CMonad m where
cbind :: m a -> (m b -> a) -> m b
ЗП
Tel Asc
Хотя , почему-то логичнее кажется такой вариант:
class CMonad m where
cbind :: m a -> (m b -> a) -> m b
class CMonad m where
cbind :: m a -> (m b -> a) -> m b
какая-то вывернутая комонада
K
Контрмонада
TA
какая-то вывернутая комонада
Я посмотрел на комонаду в хаскеле:
И это как-то так:
class Comonad m where
coreturn :: m a -> a
cobind :: m a -> (m a -> b) -> m b
Так что это вывернутая комонада)
Хотя нет,это скорее КонтрКоМонада)
И это как-то так:
class Comonad m where
coreturn :: m a -> a
cobind :: m a -> (m a -> b) -> m b
Так что это вывернутая комонада)
Хотя нет,это скорее КонтрКоМонада)
LO
Tel Asc
Хотя , почему-то логичнее кажется такой вариант:
class CMonad m where
cbind :: m a -> (m b -> a) -> m b
class CMonad m where
cbind :: m a -> (m b -> a) -> m b
Не могу инстанса придумать
LO
Tel Asc
Я посмотрел на комонаду в хаскеле:
И это как-то так:
class Comonad m where
coreturn :: m a -> a
cobind :: m a -> (m a -> b) -> m b
Так что это вывернутая комонада)
Хотя нет,это скорее КонтрКоМонада)
И это как-то так:
class Comonad m where
coreturn :: m a -> a
cobind :: m a -> (m a -> b) -> m b
Так что это вывернутая комонада)
Хотя нет,это скорее КонтрКоМонада)
coreturn это же extract
TA
coreturn это же extract
Ага
LO
а как извернуться, если есть класс A a where aaaa :: m a.
а надо aaaa' :: b -> m a..
а надо aaaa' :: b -> m a..
Мультипарам
LO
Что там кроме const придумаешь
A
Мультипарам
ну либо две функции в классе сделать
LO
Иногда хочется странного, а иногда полной ерунды