«coerce» 태그된 질문

1
`coerce`에 의한 역할과 혼란스러운 행동
나는 유형을 가지고 있으며 Id a실수로 강요되는 것을 막으려 고 Id Double합니다 Id Int. 유형 역할을 올바르게 이해하면 다음을 컴파일해서는 안됩니다. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id String badKey :: Id Int badKey = coerce (Id "I point to a …
11 haskell  roles  coerce 
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.