Haskell Persistent：使用upsert更新列表字段时出现解析错误

我希望创建一个包含Int类型列表列的表，模型定义如下：

share [mkPersist sqlSettings, mkMigrate "migrateAll"] [persistLowerCase|
    PersonTest
      name String
      listi [Int]
      UniquePerson name
      deriving Show Eq Ord
|]

我想使用upsert操作：若记录不存在则插入新条目，若已存在则更新列表字段以包含新记录中的Int值。我编写了如下测试代码：

test_experiment :: IO ()
test_experiment = do
let p1 = [PersonTest "Dan" [1,2]
          ,PersonTest "Jo" []
          ,PersonTest "Dan" [4]] -- 触发更新操作
    upse = (\pl -> runSqlite "dbe.sqlite" $ do
                   runMigration migrateAll
                   mapM_ (\p -> upsert p [PersonTestListi +=. p.personTestListi]) pl )
upse p1 

运行后出现运行时错误：

PersistMarshalError "getBy: Couldn't parse field listi from table person_test. Failed to parse Haskell type List; expected list, string, bytestring or null from database, but received: PersistByteString "0". Potential solution: Check that your database schema matches your Persistent model definitions."

请问我哪里出错了？我原本以为这是支持的操作。是否有可行的解决办法？

问题根源 #

1. +=.操作符的语义不匹配：Persistent的+=.仅支持数值类型（如Int、Double）的增量累加，完全不支持列表类型的拼接。你用它处理[Int]字段时，Persistent会错误地将列表尝试转换为数值类型执行数据库层面的加法，导致listi字段被写入了无法解析的数值（错误信息里的"0"），后续读取时自然无法还原为Haskell列表。
2. 对Persistent列表存储的误解：SQLite没有原生列表类型，Persistent是通过序列化（默认JSON格式）将Haskell列表存在文本字段中的，不能用SQL数值操作逻辑处理这类字段。

解决办法 #

要实现「不存在则插入，存在则追加列表元素」的逻辑，需要手动处理更新逻辑，不能直接用+=.：

方法一：显式判断并拼接列表

通过唯一约束查找已有记录，手动拼接新旧列表后更新：

test_experiment :: IO ()
test_experiment = do
  let p1 = [PersonTest "Dan" [1,2]
           ,PersonTest "Jo" []
           ,PersonTest "Dan" [4]]
  runSqlite "dbe.sqlite" $ do
    runMigration migrateAll
    mapM_ (\p -> do
            -- 通过唯一约束查询已有记录
            mExisting <- getBy $ UniquePerson (personTestName p)
            case mExisting of
              -- 无记录则插入
              Nothing -> insert p
              -- 有记录则拼接列表后更新（需要去重可加nub）
              Just (Entity pid existing) ->
                let newList = personTestListi existing ++ personTestListi p
                in update pid [PersonTestListi =. newList]
          ) p1

方法二：优化数据库设计（推荐）

如果需要频繁对列表元素进行增删查操作，建议将列表拆分为关联表，比如创建PersonTest与PersonInt的一对多关联：

share [mkPersist sqlSettings, mkMigrate "migrateAll"] [persistLowerCase|
    PersonTest
      name String
      UniquePerson name
      deriving Show Eq Ord
    PersonInt
      personId PersonTestId
      value Int
      UniquePersonInt personId value
      deriving Show Eq Ord
|]

这种设计更符合数据库规范，避免序列化解析问题，也能更高效地处理元素的添加、查询操作。

内容的提问来源于stack exchange，提问作者user3716072