AT
А в чем прикол монад для реюзабилити кода?
Есть функции, которые одинаково работают для любых монад. С HKT эти функции можно написать один раз для любых монадических типов.
Size: a a a
2020 August 28
KR
Это позволяет лучше абстрагировать эффекты.
JC
Ну эффекты то другое, я про избавление от копипасты спрашивал.
JC
Я просто думал думал, что может работать для всех монад и так и не придумал.
AT
flatten :: Monad m => m (m a) -> m asequence :: Monad m => [m a] -> m [a]и ещё кучка.
AT
В общем случае, конечно,
sequence :: Monad m, Traversable t => t (m a) -> m (t a) 🙂JC
А если на псевдораст это оформить?
AT
Так ведь HKT нет! 😂
JC
А если б было)
JC
flatten :: Monad m => m (m a) -> m asequence :: Monad m => [m a] -> m [a]и ещё кучка.
список опшонов в опшон списка получается, как collect получается
если для опшонов
если для опшонов
JC
Вообще да, весело.
Э
А если на псевдораст это оформить?
fn sequence<T, A, Monad<A>>() -> Monad<T<Item=A>>
where
T: IntoIter<Item=Monad<A>>;
AT
flatten(o : Option<Option<a>>) -> Option<a>, только для любой монады. И т.п.Ct
fn sequence<T, A, Monad<A>>() -> Monad<T<Item=A>>
where
T: IntoIter<Item=Monad<A>>;
тут скорее будут полезны примеры таких функций, которые в расте копипастятся, а в HKT можно было бы сделать одну имплементацию для всех монад
Э
тут скорее будут полезны примеры таких функций, которые в расте копипастятся, а в HKT можно было бы сделать одну имплементацию для всех монад
.map(); .and_then()Ct
flatten :: Monad m => m (m a) -> m asequence :: Monad m => [m a] -> m [a]и ещё кучка.
sequence = join_all на фьючах или flatten на итераторе, тут правда есть проблемка с ленивостью...
Ct
.map(); .and_then()and_then энивей писать же, именно он и определяет монаду
JC
а map это fmap и это еще от функтора, так что его тоже надо писать😎
AT
sequence = join_all на фьючах или flatten на итераторе, тут правда есть проблемка с ленивостью...
sequence != flatten, вообще-то...