Haskell 遇到非常简单的记录语法问题

Question

虽然是Haskell新手，但之前用过记录。它们易于使用。但是现在，当我想从记录中提取一些数据时，出现了“发现漏洞”错误。违规代码是:

let theSchemaId =  _schemaId schema

记录是这样定义的:

data Schema = Schema
  { _schemaId         :: !SchemaId

   , [   other fields ... ]
  }

这对我来说似乎非常简单，类似于我以前使用过的记录。但是，在运行上面的代码行时，出现以下错误。所有进口都已到位。关于其原因的任何想法？

错误:

 src/master/haskell-service/src/Handler/Strategy/Components/View.hs:695:34: error:
    src/master/haskell-service/src/Handler/Strategy/Components/View.hs:695:34: error:
    • Found hole: _schemaId :: Schema -> SchemaId
      Or perhaps ‘_schemaId’ is mis-spelled, or not in scope
    • In the expression: _schemaId
      In the expression: _schemaId schema
      In a pattern binding: theSchemaId :: SchemaId = _schemaId schema
    • Relevant bindings include
        theSchemaId :: SchemaId

Answer 1

毫无疑问，您已经知道，Haskell 代码中无法识别的标识符会产生错误消息。例如程序:

foo = noSuchIdentifier 10

生成错误信息:

HolyFields.hs:5:7-22: error:
    Variable not in scope: noSuchIdentifier :: Integer -> t

以下划线开头的无法识别的标识符也会生成错误消息，但消息不同，因为标识符被视为 typed holes .例如程序:

bar = _underscoredIdentifier 10

生成错误信息:

HolyFields.hs:1:7-28: error:
    • Found hole: _underscoredIdentifier :: Integer -> t
      Where: ‘t’ is a rigid type variable bound by
               the inferred type of bar :: t
               at HolyFields.hs:1:1-31
      Or perhaps ‘_underscoredIdentifier’ is mis-spelled, or not in scope

但是，如果标识符是已知的，则是否以下划线开头都不会出错。以下程序编译正常:

_noProblem = (*2)
quux = _noProblem 10

碰巧命名字段的标识符的情况没有什么不同。

因此，您看到的问题是，即使您认为字段 _schemaId 在使用时在范围内，但事实并非如此。您可能忘记加载包含其定义的模块，或者模块有一个排除它的导出列表。

特别注意，如果您仅导出Schema，如下所示:

module MyModule (Schema) where
data Schema = ...

这不会导出Schema 的构造函数或字段函数。你需要改为写:

module MyModule (Schema(..)) where
data Schema = ...

为了让 _schemaId 在导入模块的范围内。