多线程功能程序是否具有确定性？

Question

我读过函数式编程非常适合多线程程序，因为它带来了编程语言范例(不变、无副作用的函数)。我还读到多线程程序通常是不确定的。

如果stakx回答了一个类似的(但不同的)问题，下面是我的问题：

如果使用函数式编程语言编码，多线程程序是否具有确定性？

Answer 1

当然了。任何程序都可以是确定性的。例如,

Thread.new do
  1 + 2
end
Thread.new do
  2 + 3
end

是确定性的，因为它不会以任何方式影响宇宙。一切都在你安排副作用的方式上。如果您没有可变的结构，那么它只是排序您的输入-输出和进程间的通信可预测的问题。但是，如果您询问是否每个功能程序都是确定性的，则答案是否定的:线程通信或执行IO时，您需要一些显式的调度来使其每次工作相同。