1
Ketik peran dan perilaku membingungkan dengan `memaksa`
Saya memiliki tipe Id adan saya mencoba untuk mencegah paksaan tanpa sengaja, misalnya, Id Doubleke Id Int. Jika saya memahami mengetikkan peran dengan benar, yang berikut ini tidak boleh dikompilasi. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id String badKey :: Id …