Конструкция вектора координат 2d

Question

Я ищу простое представление вектора координат 2d. Моя первая идея была простой кортеж (c, c), но это не устраивает моих потребностей.

Это то, что я хочу:

• Экземпляры функтора и Applicative
• Возможность иметь различные типы, которые имеют ту же семантику (например ScreenCoord и GameCoord).
• Простые конструкторы данных (например, ScreenCoord c c)
• Возможность писать общий код за Coord.

Я не уверен, как это сделать. Все, что я пробовал, либо потребовало дублирования кода instance, чтобы получить отдельные типы, либо у него были длинные конструкторы данных, такие как ScreenCoord (Coord c c), которые казались ненужными.

Что было бы идеальным представлением здесь?

Answer 1

Вы могли бы быть заинтересованы в Tensor и vector-space

Vertex2 и другие из семейства Vertex представляют точки на экране (не векторы). vector-space-opengl содержит соответствующие экземпляры vector-space.