数据类型的别名

我要定义数据类型 Polar 使用极坐标进行计算:

data Polar = Polar { distance :: Double, angle :: Double }

并具有如下功能 rotate , sum 等等。

然后,我想有一个“同义词类”(或只是别名)像 TwsTwa (真实风速和真实风向角)如

data TwsTwa = TwsTwa { tws :: Double, twa :: Double }

不用重新定义函数。

以下是使用类的最佳解决方案吗? 是矮一点的吗?请注意,我指的是 特斯瓦 定义,而不是编写通用代码的难度 极地的 . 有哪些选择?

-- .................................................
-- .................................................
class PolarFamily tPolar where
  distanceP :: tPolar -> Double
  angleP :: tPolar -> Double
  toMe :: Polar -> tPolar

  rotate :: tPolar -> Double -> tPolar
  rotate pol ang =
     toMe $ Polar {distance=distanceP pol, angle=(angleP pol) + ang}

  sumP :: tPolar -> tPolar -> tPolar
  sumP p1 p2 =
     toMe $ Polar {distance=(distanceP p1)+(distanceP p2), 
            angle=(angleP p1)+(angleP p2) } -- caution: wrong calculation

-- .................................................
-- .................................................
data Polar = Polar { distance :: Double, angle :: Double }

instance PolarFamily Polar where
  distanceP = distance
  angleP = angle
  toMe p = p

twstwa的定义如下:

-- .................................................
-- .................................................
data TwsTwa = TwsTwa { tws :: Double, twa :: Double }

instance PolarFamily TwsTwa where
  distanceP = tws
  angleP = twa
  toMe Polar{ distance=d, angle=a} = TwsTwa {tws=d, twa=a}