Haskell持久加入Esqueleto

Question

我一直在研究与SQL数据库接口的Persistent库。假设我有一个包含配方，配方，成分和RecIng表的数据库。

我对持久性的理解（绝对有限）使我相信我应该定义如下表：

share [mkPersist sqlSettings, mkMigrate "migrateAll"] [persistLowerCase|
Recipe 
    title String
Ingredient 
    name String
RecIng
    recId RecipeId
    ingId IngredientId
    quantity Int
|]

这样，可以使用Esqueleto获取这些表之间的内部联接：

select $
from $ \(i `InnerJoin ` ri `InnerJoin` r) -> do
    on (r ^. RecipeId ==. ri ^. RecIngIngId)
    on (i ^. IngredientId ==. ri ^. RegIngRecId)
    return (r, ri, i)

这将返回（Recipe，RecIng，Ingredient）的元组。

我真正想要的是一种查询配方的方法，其结果如下：

data Recipe = Recipe { title :: String
                     , ingredients :: [Ingredient]
                     }

data Ingredient = Ingredient { name :: String
                             , quantity :: Integer
                             }

除了定义一组额外的数据类型并转换元组之外，是否有进行此类操作的最佳实践？

Answer 1

+1对亚当的评论，这是IMO的正确答案。

您 可以
采用的另一种方法是使用嵌入式实体，这实际上意味着将JSON编码成每个配方中的成分列表。但这将是不好的SQL设计，将导致表锁定问题以进行更新，并且无法很好地扩展大量成分。

换句话说，您要使用的Haskell表示形式与将数据存储在数据库中的正确方法之间不匹配。这并不意味着您的数据库格式或Haskell数据类型都存在问题：这是逻辑上的区别。应对这种差距的正确方法是拥有两种数据类型，以及在两种数据类型之间进行转换的明智方式。