इस संदर्भ का क्या अर्थ है: (मोनाड एम, (~) * ए())?

Question

मुझे निम्न श्रेणी का उदाहरण मिला है: (Monad m, (~) * a()) => LaTeXC (LaTeXT m a), लेकिन इसके संदर्भ को समझ में नहीं आता है।

(~) * a() का क्या अर्थ है? मैं इसके बारे में कहां पढ़ सकता हूं?

Answer 1

(~) प्रकार स्तरीय समानता (आप इसे = या == किसी भिन्न रूप के रूप में लिख सकता है, लेकिन राय है कि इस अंकन पहले से ही काफी अलग अलग अर्थ है कि एक और शुरू करने भ्रामक होगा था) है। * प्रकारों का प्रकार है। तो (~) * यह दावा है कि दो (रहने योग्य) प्रकार बराबर हैं। दूसरे शब्दों में, उदाहरण भी इस तरह लिखा जा सकता है:

instance Monad m => LaTeXC (LaTeXT m()) 

ऐसा क्यों नहीं था? खैर, यह अनुमान का सवाल है। जिस तरह से लिखा गया था, संकलक इस उदाहरण को चुनता है, भले ही यह (अभी तक) नहीं जानता कि LaTeXT पर अंतिम तर्क () है, तो उसमें बल दिया गया है, जबकि प्रस्तावित वैकल्पिक उदाहरण केवल शिकायत करेगा।