为什么5 :: Sum Integer作为文字工作？

Question

为什么在解释5 :: Sum Integer工作，但给予

newtype NovoTipo a = NovoTipo a 

6 :: NovoTipo Integer不起作用？

Answer 1

您可以为任何具有Num实例的类型编写数字文字。 Sumhas it，而你的newtype没有。

可以在ghci中通过以下方式实现GeneralizedNewtypeDeriving：

:set -XGeneralizedNewtypeDeriving 

然后，你可以写：

newtype NovoTipo a = NovoTipo a deriving (Num) 

然后6 :: NovoTipo Integer非常类型化。