एक ऑटोमाटा एल्गोरिदम के लिए, मुझे एक कार्यात्मक भाषा में एक तेज़ संघ-डेटा संरचना की आवश्यकता होती है। चूंकि मुझे औपचारिक रूप से डेटा संरचना की शुद्धता साबित करने की आवश्यकता है, इसलिए मैं एक साधारण सं
मैंने देखा कि Data.UnionFind IORefs के माध्यम से पॉइंटर्स प्रदान करने के लिए आईओ मोनैड का उपयोग करता है। मुझे लगता है कि हर किसी को शुद्ध कोड में स्थानीय रूप से इसका उपयोग करते समय unsafePerformIO खुश
मैं एक रिकॉर्ड नोड्स और किनारों के सेट के रूप में एक ग्राफ का वर्णन है: data MyGraph a = MyGraph {
nodes :: Set a,
edges :: Set (a,a),
components :: UnionFindM a -- ?
}
emptyGraph = M