Just wondering if there was some research into reifying the effected external entities back into the 'denotation'.
Instead of
f :: a -> b -> IO ()
you'd get
f :: e -> a -> b -> e
now that e is inside our algebra, maybe we can see programs as pairs (local,global)
bound by a protocol, or a fixed model of state transitions.
that's all.
Aucun commentaire:
Enregistrer un commentaire