P
какие модели например?
Size: a a a
2020 February 08
r
Почему это не она?
List монада описывает только часть семантики Iterator
AZ
red75prime
List монада описывает только часть семантики Iterator
и какую часть она не описывает?
DF
Ему типы мешают похоже
DF
Наш пациент
r
и какую часть она не описывает?
Да тот-же map_while. У него сигнатура, грубо говоря
(Iterator m) => (a -> Maybe b) -> m a -> m bВ
r
Почему не
fibonacci.next()?AZ
red75prime
Да тот-же map_while. У него сигнатура, грубо говоря
(Iterator m) => (a -> Maybe b) -> m a -> m bнет, у него сигнатура
[a] -> (a -> Bool) -> [a]AZ
если мы про тот map_while который в стд
r
нет, у него сигнатура
[a] -> (a -> Bool) -> [a]Это take_while
AZ
AZ
[a] -> (a -> Maybe b) -> [b]r
[a] -> (a -> Maybe b) -> [b]И какие monad laws для этой функции выполняются?
AZ
эмм, никаких
AZ
законы должны выполняться для структур данных, а не функций
AZ
для [] и Maybe они выполняются
AZ
к слову в этой функции вообще не надо чтобы они были монадами
AZ
можно сделать на родных комбинаторах. Собстивенно в расте так и сделали ведь