yallop/effects-bibliography
View on GitHub ↗ ★ 1,157
A collaborative bibliography of work related to the theory and practice of computational effects
7 mentions on Hacker News by 7 people: 2 stories, 5 comments · first 2016-05-18 · latest 2025-01-14
20082026
-
…[1]: https://en.wikipedia.org/wiki/Choreographic_programming [2]: https://github.com/yallop/effects-bibliography
comment by cosmic_quanta · 2025-01-14 · in Misty: A secure distributed actor language -
…a single instance. Btw. monads are not the only way FP deals with effects, see algebraic effects. https://github.com/yallop/effects-bibliography https://www.youtube.com/watch?v=DNp3ifNpgPM
comment by ReleaseCandidat · 2022-03-24 · in How side effects work in FP -
…computations comes from category theory's Lawvere theories (see e.g. Pretnar's 2010 dissertation on https://github.com/yallop/effects-bibliography ). Lawvere theories give rise to many monads (see Bartosz Milewski's article on it --…
comment by saityi · 2021-11-21 · in Effekt – A research language with effect handlers and lightweight polymorphism -
BTW (and I'm replying to directly so you see it), I think you might like to see this: https://github.com/yallop/effects-bibliography Lots of information on varieties of effect systems
comment by JoelMcCracken · 2021-07-14 · in The History of Standard ML [audio] -
https://github.com/yallop/effects-bibliography Anyway, the type of the print "hello world" expression would explain a lot.
comment by toolslive · 2018-03-17 · in The Scopes Programming Language