बाधाओं पर समानता

Question

मूल रूप से, {-# LANGUAGE PolymorphicKinds, ConstraintKinds, TypeFamilies #-} (और अधिक, यदि आवश्यक हो) दिया गया है, (~) प्रकार-स्तर ऑपरेटर प्रकार Constraint के प्रकार-स्तर अभिव्यक्तियों पर काम करता है? मैंने जवाब गुगलने की कोशिश की, लेकिन कोई भाग्य नहीं था।

Answer 1

हां, यह संभव है। चूंकि प्रकार Constraint परमाणु प्रकार की बाधाओं के सीमित सेट हैं, तो आप उनकी समानता का परीक्षण आसानी से कर सकते हैं।

PolyKinds एक्सटेंशन आवश्यक नहीं है, हालांकि। इसके अलावा, बहुत कम स्थितियां हैं जब इस तरह की समानता वास्तव में उपयोगी होगी, क्योंकि मुझे बहुलक बाधाओं को c1, c2 से Bla के रूप में गुजरने का व्यावहारिक तरीका नहीं दिख रहा है, इसलिए बाधा समानता प्रत्येक मामले में एक ट्यूटोलॉजी होगी (Show ~ Show यहां):

{-# LANGUAGE ConstraintKinds, TypeFamilies #-} 

type Bla c1 c2 a = (c1 a, c2 a, c1 ~ c2) 

foo :: Bla Show Show a => a -> IO() 
foo = print 

main = foo "Bla"