方括号在类型声明中的含义是什么？

Question

例如：

 r <- query_ conn "SELECT * from test" :: IO [TestField]

[TestField]代表什么？

Answer 1

简单地说，IO [TestField]是TestField monad中IO的列表。

但是，更正确的描述是它是一个IO动作，其结果的类型为[TestField]（因为只有在执行IO后才能获得结果值）。

您可以在以下来源中了解有关这些内容的更多信息：

Haskell Hierarchical Libraries - The IO Monad

LYAH - An intro to lists