haskell - Haskell forall 错误

Question

Eclipse 在编辑器中显式地显示错误，尽管我可以运行脚本而不会出错。我怎样才能解决这个问题？（当我在 cmd 中运行它时也会发生这种情况，认为我需要在这里设置一个标志！？）

关于默认为整数类型的警告也很烦人，有没有办法阻止它们？

Answer 1

您需要像这样在每个文件中显式声明语言扩展名

{-# LANGUAGE FOO #-}

where FOOis either, ExplicitForallwhich just let's you write forall，ScopedTypeVariables这意味着你可以写

 foo :: forall a. a -> [a]
 foo a = [a] :: [a]

并让显式签名按预期工作。或者RankNTypes哪个让你写更高级别的类型，比如

 foo :: (forall a. a -> a) -> Int -> Int

在这种情况下，看起来你只是想要ExplicitForall.