为什么在Hackage上将` `newtype Q`记录为` `data Q`？
为什么在Hackage上将` `newtype Q`记录为` `data Q`？
提问于 2018-09-10 00:21:47
this是文档错误还是别的什么？
回答 1
Stack Overflow用户
回答已采纳
发布于 2018-09-10 01:09:15
这不是一个bug。Haddock将所有抽象类型打印为data。其思想是这样的:类型是抽象的，这样库作者就可以在用户不知道(或不需要)的情况下更改内部表示。由于库的作者可能会在newtype和data之间切换，并且用户不应该知道这一点，因此创建新类型的两种方法在data中必须以相同的方式呈现。
鉴于此，在使用newtype和data两者之间的选择对我来说似乎很清楚:对于初学者来说，data的使用频率更高，也更容易理解。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/52246426
复制相关文章
相似问题