3 ms·

This is a whole lot of text to describe determinism and non-determinism.

• gdp 17y ago
  Using "determinism" with respect to concurrency means about a billion different things depending on who you talk to. For example, is the process that results from parallel composition of two deterministic processes deterministic or non-deterministic? The answer is "it depends". Concurrent "deterministic" processes are not significantly easier to reason about (informally) than non-deterministic ones, whichever definition you choose. In fact, re-reading, I definitely don't see anything in there that could described by either "determinism" or "non-determinism", so either your definition differs wildly from mine, or you're choosing to be dismissive deliberately :)
  • fhars 17y ago
    Unix pipes (deterministic concurrrency) are far easier to reson about than a mutitheaded shared state program (nondeterministic concurrency). But then you can of course argue that this is due to the fact that the shell with proper unix filters form a monad with cat as the unit and the pipe operation | as bind.