当两个结构共享某些内容时，是否有一种惯用方法可以处理这种情况？

Question

我正在做一个玩具论坛，以熟悉Haskell和Servant。

我的API看起来像这样：

type UserAPI = "messages" :> ReqBody '[JSON] Msg :> Header "X-Real-IP" String :> Post '[JSON] APIMessage
               :<|> "messages" :> ReqBody '[JSON] Int :> Get '[JSON] [Msg']

我的类型看起来像这样：

data Msg = Msg
  { thread :: Int
  , dname :: String
  , contents :: String
  } deriving (Eq, Show, Generic)
data Msg' = Msg'
  { thread' :: Int
  , stamp' :: UTCTime
  , dname' :: String
  , contents' :: String
  , ip' :: String
  } deriving (Eq, Show, Generic)

并且它们得出tojson/fromjson/Fromrow实例，这非常方便。

msg表示API在接收消息时期望的数据和msg'在查询消息时它发送的数据，该数据包含服务器添加的其他两个字段，但是此感觉不正确，必须有一种更干净的方法来实现这一目标。

对惯用方式处理这种问题的任何洞察力。

Answer 1

我会在这里考虑，您的问题更多是一个概念上的（“当我有两个共享某种结构的数据类型时，我该怎么办？”），而不是简单的“我如何建模Haskell中的继承？”已经回复了在这里。

要回答您的问题，您将不仅要考虑数据的结构。例如，如果我向您提供A和B，并且如果我说

data A = A Int String
data B = B Int 

我怀疑您会自动假设A a是A b带有额外的字符串。您可能会尝试确定这两个数据结构之间的确切关系。这是一件好事。

如果a的每个实例实际上都可以看作是b的实例，则可以在代码中提供表示它是相关的。然后，您可以显然使用普通的Haskell方式

data A = A { super :: B, theString :: String }
data B = B { id :: Int }

，而在没有创建其他功能的情况下，使用这些数据类型并不容易。例如，frofb函数可能是相关的

fromB :: B -> String -> A 
toB   :: A -> B

，您还可以使用Typeclass访问ID

class HasId a where
    getId :: a -> Int

instance HasId A where
    getId = id . super 

这是某些帮助表格镜头很有用。和此问题的答案我如何在Haskell中建模sashitance？是一个好的开始。镜头软件包提供面向对象的句法糖来处理遗传关系。

但是，您还可以发现a并不完全是b，但它们都共享同一祖先。 您可能更喜欢创建类似的东西

data A = A { share :: C, theString :: String }
data B = B { share :: C }
data C = C Int

当您不想将a用作b的情况下， ，但是它存在着两者都可以使用的功能。实施将接近以前的情况，因此我不解释。

最后，您可能会发现，实际上并不存在可能有用的关系（因此，没有真正存在a和b之间的函数。然后，您希望保留代码。

在您的具体情况下，我认为msg和msg'之间没有直接的“ ”是另一个是用于发送的。但是他们可以共享一个共同的祖先，因为两者都是消息。因此，他们可能会有一些共同的构造函数（按OO编程）。

尝试永远不要忘记该结构总是与某些功能结合。哪种类别理论教给我们的是，您不仅要看结构，而且还必须考虑它们的功能，以了解彼此之间的关系。