< p >在
Contol.Concurent.STM
库中,check
函数的类型为Bool -> STM a
,成功时返回undefined
,而不是具有Bool -> STM ()
类型的原因是否充分?实现方式使得类型检查器只能编译以check foo
结尾的代码块,但最终会在运行时失败并显示:*** Exception: Prelude.undefined
。 < / p >
check
现在被称为alwaysSucceeds
。我不清楚当前的check
具体作用是什么。 - acfoltzer