हास्केल: टीवीर: orElse

Question

orElse का "अन्य" हिस्सा है, जब किसी लेनदेन को TVar पर किसी अन्य लेनदेन लेखन के कारण पुनः लेनदेन किया जाता है, या केवल retry को स्पष्ट रूप से बुलाया जाता है?

Answer 1

यदि आप

एक ख

orElse तो b केवल चलाया जाता है, तो retrya में स्पष्ट रूप से कहा जाता है। अन्यथा orElse अनिवार्य रूप से nondeterministic बन जाएगा। (एसटीएम रनटाइम द्वारा किए गए लेनदेन की पुनरावृत्ति पारदर्शी है और किसी भी गणना के नतीजे को प्रभावित नहीं करना चाहिए।)