| ▲ | adamnemecek 5 hours ago | |
It might be a good idea to look into the research on streams as coalgebras, there is quite a bit, for example here https://cs.ru.nl/~jrot/CTC20/. Coalgebras might seem too academic but so were monads at some point and now they are everywhere. | ||