Well, more generally speaking comonads encode costate i.e. context, but I haven’... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		bradrn on June 19, 2021 \| parent \| context \| favorite \| on: Can programming be liberated from the von Neumann ... Well, more generally speaking comonads encode costate i.e. context, but I haven’t yet seen them being used represent time. Do you have a link to the paper?

dustingetz on June 19, 2021 [–]

http://cs.ioc.ee/~tarmo/papers/essence.pdf also it needs to be updated for cofree comonad

bradrn on June 19, 2021 | [–]

Thank you!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact