Talk:Concurrency with oracles

From HaskellWiki
Revision as of 04:43, 18 March 2021 by Atravers (talk | contribs) (Original remarks transferred)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

(unknown): Someone can add a reference here; I'm too lazy right now to do so.

(unknown): I think we could equivalently assume a given oracle not only stores the prediction about the computations and events it's going to be applied to, but also a couple of additional oracles. Thus the same kind of thing can function for the origial idea of an oracle and as the infinite binary tree of oracles that seems to come in handy.