我试图使一个函数接受一个为(它可以是任意类型: int,char.)并创建一个列表,该列表具有复制与其ASCII代码对应的次数的输入。
我创造了这个:
toList n=复制(fromEnum n) n
当尝试在cmd中使用函数时,它说它可以将预期的int类型与char匹配,但是,如果我在cmd中直接使用函数的实际值,则。
我的意思是: toList 'a‘->给了我一个错误
复制(fromEnum 'a') 'a‘
我已经加载了模块Data.Char (ord)
我怎样才能解决这个问题,为什么会发生这种情况?
(预先谢谢:)
发布于 2013-09-28 16:07:19
你缺少的是一个类型声明。您说您希望它能够接受任何类型,但是您真正想要的是toList获取Enum的一个实例。当您在GHCi中使用它时,它将允许您执行let toList n = replicate (fromEnum n) n,因为GHCi会自动选择一些似乎有意义的缺省值,但是在用GHC编译模块时,如果没有类型声明,它就无法工作。你想要的
toList :: (Enum a) => a -> [a]
toList n = replicate (fromEnum n) n您必须在类型签名中使用(Enum a) =>的原因是因为fromEnum具有类型签名(Enum a) => a -> Int。因此,您可以看到,它不只是采取任何类型,只有那些有一个实例的Enum。
https://stackoverflow.com/questions/19068829
复制相似问题