Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I started a page Eff. I need to link from ’effects’ and ’handlers’, but have a query on terminology. Is it ’algebraic effect’ rather than ’algebraic side effect’ that’s more commonly used?
Algebraic effect seems to be common in my circles. “algebraic side effects” does not have many google hits.
Thanks. So I’ve altered it now.
I added a hatnote remarking that is also a commonly used name for the effective topos.
Looking again at Bauer’s page, it seems not to be capitalized in normal use. Perhaps I should have called in ’eff’ then.
1 to 5 of 5