Eclipse在显式forall的编辑器中显示错误,尽管我可以无错误地运行脚本。我怎样才能解决这个问题? (当我在cmd中运行它时也会发生这种情况,我想这里需要一个标志!?)
关于默认为整数类型的警告是否有办法阻止它们?
答案 0 :(得分:2)
您需要在每个文件中明确声明语言扩展名
{-# LANGUAGE FOO #-}
其中FOO
是,ExplicitForall
只是让你写forall
,ScopedTypeVariables
这意味着你可以写
foo :: forall a. a -> [a]
foo a = [a] :: [a]
并按预期显式签名。或RankNTypes
让你写出更高级别的类型,如
foo :: (forall a. a -> a) -> Int -> Int
在这种情况下,您似乎只想要ExplicitForall
。