二维坐标向量的设计

Question

我正在寻找二维坐标向量的简单表示。我的第一个想法是一个简单的(c, c)元组，但这不符合我的需要。

这就是我想要的：

• Functor和Applicative的实例
• 能够拥有具有相同语义的不同类型（例如ScreenCoord和GameCoord）。
• 简单数据构造函数（例如ScreenCoord c c）
• 能够通过Coord编写通用代码。

我不确定如何做到这一点。我尝试的所有内容都要求复制instance代码以获取不同的类型，或者它具有长ScreenCoord (Coord c c)的数据构造函数，这似乎是不必要的。

这里的理想代表是什么？

Answer 1

您可能对Tensor和vector-space

感兴趣 来自Vertex family的

Vertex2和其他人代表屏幕上的点（不是向量）。 vector-space-opengl提供vector-space的适当实例。