|
|
|
|
|
by adamnemecek
107 days 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. |
|