用于记录的 Purescript 默认“显示”实例

Question

我看到了这个问题：

• Force show a record in PureScript

我发现我可以使用 purescript-debug 来打印它，例如通过使用：

> traceAny {a:1} id
{ a: 1 }
unit

我想知道为什么没有默认的 Show 实例用于记录：

> {a:1}
Error found:
in module $PSCI

  No type class instance was found for

    Data.Show.Show { "a" :: Int
                   }

Answer 1

Show 只是作为库代码实现的，因此无法编写可以容纳所有可能记录的实例。需要有某种约束，例如，您可以说“此记录中每个值的类型也必须具有Show 实例”。实际的实现也需要有点神奇，因为您也不能遍历记录中的标签。

已经有一些关于改革Show、such as this one 的讨论，这可能会解决这个问题，使Show 完全具有魔力，并且只能用于调试目的。

虽然这并不能真正解决您在这里遇到的情况，但可以依靠 Generic 派生为 newtype'd 记录创建 Show 实例，这可以减轻一些痛苦这种事情：

import Data.Generic (class Generic, gShow)

newtype MyRecord = MyRecord { a :: Int }

derive instance genericMyRecord :: Generic MyRecord

instance showMyRecord :: Show MyRecord where
  show = gShow

如果您也派生了Newtype，它会使记录更易于使用，因为您可以使用各种有助于在新类型下包装/解包/操作等的操作。