Запитання з тегом «coerce»

1
Наберіть ролі та заплутану поведінку за допомогою "примусу"
У мене є тип, 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 = …
11 haskell  roles  coerce 
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.