什么*不是*可以在GHC 7.8中输入？
[英]What *isn't* Typeable in GHC 7.8?
问题描述
我正在与syntactic的作者合作，为各种类型添加支持。 我建议使用类型列表来允许使用任何类型，开发人员提出了一个更清晰的解决方案，允许使用任何Typeable实例。
我知道（至少当前版本） Data.Reflection 不支持 GHC 7.8中的Typeable类型 ，但至少他们提出了使用lens的解决方法。
我的问题是关于图书馆的原始提案：除了（某些形式的）具体类型之外，GHC 7.8中的哪些其他类型不能成为Typeable的实例？ 如果这些类型足够奇怪/罕见，那么使用需要Typeable的清洁解决方案就足够了，但如果[其他]常用的类型不是Typeable ，那么类型列表将是更通用的解决方案。
2 个解决方案
解决方案1
2 已采纳 2014-06-02 23:19:39
GHC.TypeLits.Symbol和Nat不可输入。 请参阅https://ghc.haskell.org/trac/ghc/ticket/9111
解决方案2
1 2014-06-02 16:24:27
Typeable打破了数据类型的抽象：任何事情的混凝土结构Typeable可即使它的构造是隐藏查询。
最危险的是，这意味着通过可Typeable泄漏信息构建的类型可能导致不当使用。
因此，通常，被认为是抽象的类型不能是可Typeable 。 由于GeneralizedNewtypeDeriving是一种反射，因此使用角色注释进行类似的游戏和舞蹈。
不能用ghc-7.8构建lambdabot（@ haskell-src-exts）
[英]can't build lambdabot with ghc-7.8 (@ haskell-src-exts)
无法使用GHC 7.8rc2和Windows 7编译简单的hello世界（或使用cabal安装软件包）
[英]Can't compile a simple hello world using GHC 7.8rc2 and Windows 7 (or install packages with cabal)
由于GHC 7.8中的推论不完整，无法编译类型类Queue以及列表的实例，
[英]Compiling a type class, Queue, with an instance for lists, don't work due to incomplete inference in GHC 7.8
如何让GHC为上下文中具有Typeable的GADT生成Data.Typeable实例？
[英]How can I get GHC to generate instances of Data.Typeable for GADTs with Typeable in the context?
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.