扩展现有记录类型

Question

如果我有记录类型：

type Rec_ab = { a :: String, b :: Int }

我可以从它的类型中得到有效扩展的{c :: Boolean}:{ a :: String, b :: Int, c :: Boolean }吗？

如果我有一行，我可以这样做：

Row_ab = ( a :: String, b :: Int )

Rec_abc = { c :: Boolean | Row_ab }

但如果我有记录Rec_ab应该如何解决？我不知道从“记录”->“行”的方式。

Answer 1

一般来说，你不能。

如果您需要这种可扩展性，您的方法Row_ab就足够了，但另一种可能的解决方案是参数化记录，然后使用参数来扩展它：

type Rec_ab r = { a :: String, b :: Int | r }
type Rec_abc = Rec_ab ( c :: Boolean )

这还允许您编写可与Rec_ab和一起使用的函数Rec_abc：

add42 :: forall r. Rec_ab r -> Rec_ab r
add42 r = r { b = r.b + 42 }