haskell - 预期类型和主要

Question

这里是 Haskell 菜鸟。我有一个简单的功能和一个 main.我不知道这个错误是什么意思:

Couldn't match expected type `IO t0' with actual type `Bool'
In the expression: main
When checking the type of the function `main'

编译代码时:

is_instructor :: String -> Bool
is_instructor "Jeremy Erickson" = True
is_instructor x = False

main :: Bool
main = is_instructor "foo"

Answer 1

main是当你运行你的程序时被调用的东西。预计程序会以某种方式与外界交互(读取输入、打印输出等)，因此 main 是合理的应该有类型 IO something .出于类型安全和简单的原因，这是 Haskell 中的要求，例如 main在 Java 中必须有类型 public static void main(String[] arrgh) .

你可能希望你的值被打印出来，所以

main :: IO ()
main = print $ is_instructor "foo"

会是你想要的。