मैं असंगत मानों को अलग करने के लिए प्रकारों का उपयोग कैसे करूं

Question

मैं भूगर्भीय गणना के लिए एक पुस्तकालय लिख रहा हूं। एक चीज जिसे मैं शामिल करना चाहता हूं वह ग्रिड अनुमानों (जैसे ऑर्डनेंस सर्वे नेशनल ग्रिड) के लिए एक प्रकार है और उन ग्रिड पर अंक ("पूर्वोत्तर" और "उत्तर" द्वारा निर्दिष्ट)। एक ग्रिड को मूल बिंदु से निर्दिष्ट किया जाता है जो इसे पृथ्वी और ज्यामितीय मानकों का एक गुच्छा से जोड़ता है। एप्लिकेशन प्रोग्रामर इन मानकों का उपयोग करके कई मनमानी ग्रिड बना सकता है। विभिन्न अंतर्निहित अनुमानों के आधार पर कई प्रकार के ग्रिड भी होने जा रहे हैं।

स्पष्ट रूप से मैं ग्रिड पॉइंट्स (जैसे दूरी, असर इत्यादि), पर गणना करने में सक्षम होना चाहता हूं, लेकिन साथ ही मैं एक प्रोग्राम प्रोग्रामर को दो के बीच की दूरी से पूछने से रोकने के लिए हास्केल प्रकार प्रणाली का उपयोग करना चाहता हूं विभिन्न ग्रिड पर अंक। मुझे आश्चर्य हुआ कि क्या एसटी मोनैड की लाइनों के साथ एक प्रकार पैरामीटर का उपयोग कर एक रीडर मोनाड काम करेगा, लेकिन मैं चाहता हूं कि एप्लिकेशन प्रोग्रामर मोनैड के बाहर इन स्थिति मूल्यों को स्टोर करने में सक्षम हो, जबकि एसटी एसटीआरएफ के रिसाव को रोकने के बारे में है रनस्ट।

मुझे अंतर्निहित एलिप्सिड पर भूगर्भीय स्थितियों (अक्षांश & रेखांश) के साथ भी एक ही समस्या मिली है। लेकिन ग्रिड संस्करण शायद समझाने में आसान है, यह देखते हुए कि इस प्रश्न का ध्यान भूगर्भ विज्ञान की बजाय टाइप सिस्टम है।

मैंने जीएडीटी और अस्तित्व के प्रकारों पर पढ़ा है, लेकिन मैं यह नहीं देख सकता कि यह कैसे करें।

Answer 1

आप ग्रिड वे से आते हैं के साथ निर्देशांक चिह्नित करने के लिए अनुमति देने के लिए दो GHC एक्सटेंशन का उपयोग कर सकते हैं: (। एक्सटेंशन GHC में काम करते हैं 7.4+ कम कुछ भी जानकारी नहीं दे पाता,)

{-# LANGUAGE DataKinds, KindSignatures #-} 

data CoordinateType = Geodetic | OSNG -- etc. 

data Coordinate (grid :: CoordinateType) = Coord Int Int 

zeroZero :: Coordinate Geodetic 
zeroZero = Coord 0 0 

distance :: Coordinate grid -> Coordinate grid -> Float 
distance p q = undefined 

अब distance zeroZero (Coord 1 2 :: Coordinate OSNG) एक प्रकार त्रुटि देता है: तो फिर, यह आवश्यकता होती है किसी भी काम करता है grid प्रेत पैरामीटर की समानता लागू कर सकते हैं।