将元组数组转换为数据记录

Question

我有想要转换为数据记录的元组列表。元组具有类型 (Text, Text)，其中第一项是键，第二项是值。

data User = User 
  { 
    id :: Text
  , name :: Text 
  }

toUser :: [(Text, Text)] -> User
toUser kvs = ???

是否可以在 Haskell 中通过字符串名称设置数据记录的字段名称，就像您通常可以在 C# 或 Java 中使用反射一样？

此外，我想避免通过列表重复查找每个字段，并通过列表迭代一次填充数据记录，但不确定这样做的最佳选择是什么。

编辑

输入列表将类似于[("id","foo"),("name","bar")]，因此User 数据记录中的字段名称与列表中的键匹配。

Answer 1

如果您只想遍历列表一次，我会将元组插入map，然后在地图中查找 ADT 的每个字段名称：

import qualified Data.Map as Map
import Data.Maybe (fromMaybe)

data User = User
  {
    id   :: String
  , name :: String
  } deriving Show

toUser :: [(String, String)] -> User
toUser xs = User (find "id") (find "name")
  where
    m = Map.fromList xs
    find name = fromMaybe "" $ Map.lookup name m

Answer 2

@mb21的想法很容易实现：

import qualified Data.Map.Strict as M

toUser pairs = User idval nameval
    where m = M.fromList pairs
          idval = M.findWithDefault "?" "id" m
          nameval = M.findWithDefault "?" "name" m

但也许将其编写为更新函数会更好？

updateUser :: User -> [(Text,Text)] -> User
updateUser (User i n) pairs = User idval nameval
    where m = M.fromList pairs
          idval = M.findWithDefault  i m
          nameval = M.findWithDefault v "name" m