3 ms·
> see GeneralizedNewtypeDeriving, which is considered unsafe even though it used to be safe This is wrong. GND plus TypeFamilies or some other extension in tha
by wyager 9y ago
> see GeneralizedNewtypeDeriving, which is considered unsafe even though it used to be safe
This is wrong. GND plus TypeFamilies or some other extension in that vein used to be unsound when combined. It has since been fixed via the introduction of type roles.
> Composed atomic operations are not atomic.
Incidentally, Haskell also has this figured out via the STM monad.
- klodolph 9y agoI hadn't heard about the advancement with Roles, but it seems that GND is still prohibited in "Safe Haskell"?
- wyager 9y agoYou’re probably reading an old document - this restriction was removed with the introduction of roles. https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_guide/safe-haskell.html https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_gui... Roles were introduced in 7.8.something, and GND was added to Safe.