How do functional programmers do user-observable persistent asynchronous programming? I feel like reinventing the wheel building my own infrastructure of hand-written "actors" on top of Lwt in OCaml.
I'm not sure I read this type properly: so this is a current state plus a list of agents one of which will take over the structure and either submit a new state and list of further agents (to append, or to replace the previous), or abort the entire computation?
-
-
An agent receives the current state `st` and produces a new state together with a list of spawned actors - which might be empty (self-termination) or just one element (continuation). Alternatively, the agent may explicitly wait for external changes to state (the `1` option).
-
A "settled" system may have a collection of agents that are all awaiting changes to the state (through interaction with a human or external environment). But we aren't limited to modeling settled systems.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!