मैं स्कैला में एक रिलेशनल बीजगणित को एन्कोड करने का प्रयास कर रहा हूं (जो कि मेरे ज्ञान में सबसे उन्नत प्रकार की प्रणालियों में से एक है) और मुझे लगता है कि मैं कहां से प्राप्त करना चाहता हूं । जैसा क
Wikipedia article on Effect system वर्तमान में केवल एक छोटा सा स्टब है और मैं थोड़ी देर के लिए सोच रहा हूं कि प्रभाव प्रणाली क्या है। क्या ऐसी कोई भी भाषा है जिसमें किसी प्रकार की प्रणाली के अतिरिक्त
मैं हास्केल के बारे में एक शोध पत्र पढ़ रहा था और एचएलिस्ट कैसे कार्यान्वित किया गया था और सोच रहा था कि जब वर्णित तकनीकें प्रकार के चेकर के लिए निर्णायक नहीं हैं। इसके अलावा, क्योंकि आप जीएडीटी के सा