P
стрим — в курсе
Size: a a a
2020 January 23
λ
ну ты говоришь, что стрим это когда пуш бэйзед, а итератор это пулл бейзед
P
ну ты говоришь, что стрим это когда пуш бэйзед, а итератор это пулл бейзед
нет, стрим может быть пуш бейзд и пул бейзд
P
самое главное, что он ленив, пока ты не начнёшь его поглощать — у тебя не будет ни пуш, ни пул
λ
у пулбэйзед стрима есть метод
getNext :: Stream m a -> m aP
ни фьюза, ничего
P
у пулбэйзед стрима есть метод
getNext :: Stream m a -> m aэто не стрим
λ
P
стрим это апи композиции обработчиков, а что под капотом - неизвестно
P
и зависит от каждого конкретного случая
λ
о госпаде
λ
pull based stream:
push based stream:
getNext :: Stream m a -> m apush based stream:
subscribe :: Stream m a -> (a -> m ()) -> m ()λ
в расте, например, всё пуллбэйзд
AZ
стрим это апи композиции обработчиков, а что под капотом - неизвестно
звучит как философия, а не определение
DF
Есть ещё у Лейбница монада
V
в расте, например, всё пуллбэйзд
А у раста нет rx?
V
В дотнете либо pull-based IEnumerable, либо PushBased из rx, либо стримы и пайплайны для байтов
λ
А у раста нет rx?
нет и слава богу
λ
пуш бэйзед стримы только для всяких событий годятся