Haskell 数据类型别名命名

Question

我在 Haskell 中写了一个数学 Vector 模块。

所以我开始了：

data Vector a = Vector !a !a !a deriving (Eq, Show)

很好——这让我可以使用任何我想要的数字数据类型。问题是我不想到处写Double 和Vector Double，原因很简单，我不应该这样做。所以我补充说：

type Scalar = Double
type Vector = Vector Scalar

当然，第二行是错误的，因为现在有两个Vector 声明。那我应该把它改成什么？我对自己想，不，我将在我的代码中编写这个，所以我想将类型别名简单地保留为Vector。这意味着我必须更改数据类型名称。但是如果我改变它，那么我觉得我也应该改变构造函数，这会让一切变得更加混乱。但是，如果以这种方式让构造函数与类型别名具有相同的名称，感觉很尴尬。

现在我有这个：

type Scalar = Double
type Vector = VectorT Scalar

data VectorT a = Vector !a !a !a deriving (Eq, Show)

我随意选择了T（我猜它代表“类型”），但我对此不太确定。通常，当我记录函数时，我会说 -- Calculate the magnitude of a Vector，但对于 VectorT，我觉得我真的应该使用 that 类型名称。所以我只是将它们称为vectors（不大写）——除非我觉得我必须将此约定应用于每种数据类型的每条评论。

有人遇到过类似情况吗？在这种情况下，谁能想到更优雅的解决方案？

Answer 1

解决您的特定问题的一种方法是将数据类型与类型同义词放在不同的模块中。也就是说，有一个 Math.Vector 模块，其中包含数据声明和一些通用函数（即适用于所有数字类型的函数）。然后，当您实际在代码中大量使用Vector Double 时，只需使用合格的导入创建类型同义词：

import qualified Math.Vector as MV

type Scalar = Double
type Vector = MV.Vector Scalar

我认为从代码组织的角度来看这是有道理的。特别是，如果您已将 Vector 类型定义为适用于所有数字类型，我希望该模块中的函数也适用于所有数字类型。您在代码的其他部分中大量使用Vector Double 的事实不应影响实际定义Vector 的模块。毕竟，完全可以想象在程序的另一部分中大量使用Vector Int。

顺便说一句，我不确定将其称为 Vector 是不是最好的主意。向量不一定必须具有三个维度，因此我将您的数据类型称为Vector3D。这实际上是其他一些 API（如 Java 3D API）中使用的名称，因此它可能是一个不错的选择。

Answer 2

有什么特别的理由不去做

data Vector = Vector !Double !Double !Double deriving (Eq, Show)

这对我来说似乎是最简单的想法......