Haskell 数据声明中的类型约束

Question

我正在使用 Haskell 并尝试编写以下内容：

data Scale s = Scale s s

但是，我想让s必须是 Num 类型类的东西，例如 Int 或 Double。 使用 Haskell 和 GHC 可以做到吗？

Answer 1

是的：

{-# LANGUAGE GADTs #-}
data Scale s where
    Scale :: Num s => s -> s -> Scale s

但是，通常认为最好不要这样做。 相反，仅将Num约束放在使用Scale并需要Num约束的函数上。 放宽这些约束可以让你在适当的时候暂时打破不变量； 例如，通常希望有一个Functor实例用于这种类型，如果您像上面那样约束构造函数，这是不可能的。

Answer 2

我对Point类型有类似的情况。 但我没有考虑约束，我想的是如何概括我的观点的元素类型。 然后我明白了如果我有这样的data Point a = Point aa点类型data Point a = Point aa那么我可以做 Functor、Applicative、Foldable 和 Traversable 的实例。 而且我可以通过标准的通用方式设计功能。 例如：

dist :: Floating a => Point a -> Point a -> a
dist a b = sqrt $ sum $ (^2) <$> ((-) <$> a <*> b)

我有疑问。 到底是怎么回事？ :) 如果我添加约束（如您所问），我将无法通过这种方式进行设计，并且我需要实现很多功能，例如pointSub 。

所以，有一些事情要考虑:)

Answer 3

那这个呢：

data Scale' s = Scale s s
type Scale = Scale' Int Int

我没有尝试这个，我不太了解 Haskell，只是（大部分）阅读它，但它似乎合理，不是吗？ 🤔