“where”中的类型声明——发生什么事了？

Question

在阅读 QuickCheck 手册时，我遇到了以下示例

prop_RevRev xs = reverse (reverse xs) == xs
  where types = xs::[Int]

：手册继续说：

属性必须具有单态类型。 “多态”属性，例如上面的属性，必须限制为用于测试的特定类型。通过在 a 中声明一个或多个参数的类型可以很方便地做到这一点

其中类型 = (x1 :: t1, x2 :: t2, ...)

条款。请注意，类型不是关键字；而是类型。这只是一个本地声明，它提供了一个方便的地方来限制 x1、x2 等的类型。

我以前从未在 Haskell 中见过这样的技巧。这就是我真正遇到的问题：

1. 为什么这种类型声明语法存在？它能为我做哪些以下事情不能做的事情？

   prop_RevRev :: [Int] ->;布尔
   prop_RevRev xs = 反向 (反向 xs) == xs
   

2. 这种使用 where 是否构成类型声明的“特殊”语法？或者它是否一致且合乎逻辑（如果是，如何？）？

3. 这个用法是标准的还是传统的 Haskell？

Answer 1

where 不是类型声明的特殊语法。例如，这样可以：

prop_RevRev :: [Int] -> Bool
prop_RevRev xs = ys == xs
  where ys = reverse (reverse xs)

这样也可以：

prop_RevRev xs = ys == xs
  where ys = reverse (reverse xs)
        ys :: [Int]

where type = (xs :: [Int]) 相对于 prop_RevRev :: [Int] -> 的优势Bool 是在后一种情况下你必须指定返回类型，而在前一种情况下编译器可以为你推断它。如果您有一个非布尔属性，这会很重要，例如：

prop_positiveSum xs = 0 < length xs && all (0 <) xs ==> 0 < sum xs
  where types = (xs :: [Int])

Answer 2

它不是特殊的语法，有时您只是需要它，就像下面的情况一样：

foo :: String -> String
foo s = show (read s)

就目前情况而言，无法键入 this，因为无法识别值 read 的类型。所知道的是它必须是 Show 和 Read 的实例。但这种类型根本不会出现在类型签名中，因此也不可能将其保留在类型签名中并推断出受约束的类型。 （只是没有可以约束的类型变量。）

有趣的是，read s 所做的事情完全取决于为 read s 提供的类型签名，例如例如：

read "Just True" :: (Maybe Bool)

会成功，而

read "Just True" :: (Maybe Int)

不会。