Purescript 行多态性。什么是正确的语法？

Question

使用基于“Purescript by Example”第 5 章中的示例的函数，并且对如何声明多态行类型感到有些困惑。

以下编译正常

type Student = {
              first :: String,
              last :: String,
              class :: String
            }

type GymMember = {
              first :: String,
              last :: String,
              benchPressPB :: Int
            }

daveG :: GymMember
daveG = {
        first: "Dave",
        last: "Bro",
        benchPressPB: 300
    }

philS :: Student
philS = {
        first : "Dave",
        last : "Swat",
        class : "1A"
      }

 schoolRollName :: forall t15.
  { last :: String
  , first :: String
  | t15
  } -> String
 schoolRollName rec = rec.last <> ", " <> rec.first

firstAndSurname :: forall t82.
{ first :: String
, last :: String
| t82
}
-> String
firstAndSurname rec =  rec.first <> " " <> rec.last

daveFandS :: String
daveFandS = firstAndSurname daveG

daveSR :: String
daveSR = schoolRollName daveG

philFandS :: String
philFandS = firstAndSurname philS

philSR :: String
philSR = schoolRollName philS

但是如何删除 schoolRollName 和 firstAndSurname 的类型签名中的重复项。

我认为以下方法可行，但类型不匹配：

type NamedThing = forall t15.
                { last :: String
                , first :: String
                | t15
                }

schoolRollName :: NamedThing -> String
schoolRollName rec = rec.last <> ", " <> rec.first

firstAndSurname :: NamedThing -> String
firstAndSurname rec =  rec.first <> " " <> rec.last

-- !! Could not match type
daveFandS :: String
daveFandS = firstAndSurname daveG

Answer 1

NamedThing未正确声明。为了匹配类型NamedThing你必须提供确实可行的值FORALL与至少一个可能的记录第一和最后一个领域。由于daveG不是编译器抱怨的这样一个值 - 更进一步，这种类型没有值。

将t移动到类型别名：

type NamedThing t = {first :: String, last :: String | t}

现在firstAndSurname确实有提供工作的功能FORALL NamedThings任何额外的字段。简单的解决方案：

firstAndSurname :: forall t. NamedThing t -> String
firstAndSurname rec =  rec.first <> " " <> rec.last

最后编译器对此感到满意：

daveFandS :: String
daveFandS = firstAndSurname daveG