David Corfield modality as impure

Idea

Idea

If pure computations need to be augmented with (co)monads for (co)effects, so that, e.g., once effects are registered in the world, they are always present, then where’s the impurity in ordinary necessity and possibility? That we have to look into neighbouring worlds and not just this one. Solutions to differential equations require us to look at the neighbouring infinitesimal.

Last revised on June 29, 2022 at 08:18:04. See the history of this page for a list of all contributions to it.