DEV Community

Discussion on: Nondeterminism in purely functional languages?

 
drbearhands profile image
DrBearhands

That's true, but sort-of isn't. The new computation "may as well" have been the old one: it is still equally correct because true randomness has no hidden state that was affected by the rollback and redo.

This is all still ignoring the de-facto pseudorandom / deterministic nature of most of our machines.