haskell – “forkIO”和“putMVar”:引擎盖下发生了什么?
我希望有人可以帮助我理解为什么以下代码生成下面的输出.代码来自SimonMarlow的书中的Concurrency章节(链接如下).基于各种函数的描述,我假设第二个putMVar函数应该被阻塞,因为(i)两个putMVar函数都是同一个线程的一部分,并且(ii)已经分配了一个值.显然情况并非如此.很高兴在这里了解“引擎盖下”发生了什么.(注意:本书使用了符号,但我更喜欢>>=符号,因为我认为它更直