1
ভূমিকা and coused` দ্বারা বিভ্রান্তিকর আচরণ এবং টাইপ করুন `
আমার একটি প্রকার রয়েছে Id aএবং আমি দুর্ঘটনাক্রমে জোর দেওয়া বন্ধ করতে চেষ্টা করছি, যেমন, একটি Id Doubleথেকে একটি Id Int। আমি যদি টাইপের ভূমিকাগুলি সঠিকভাবে বুঝতে পারি তবে নিম্নলিখিতগুলি সংকলন করা উচিত নয়। {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id …