1
टाइप भूमिकाएँ और भ्रमित व्यवहार `मोटे` द्वारा
मेरे पास एक प्रकार है Id aऔर मैं गलती से जोर-जबरदस्ती को रोकने की कोशिश कर रहा हूं, जैसे, a Id Doubleसे a Id Int। यदि मैं टाइप रोल्स को सही तरीके से समझता हूं, तो निम्नलिखित को संकलित नहीं करना चाहिए। {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type …