haskell - Haskell 字段标签如何工作？

Question

我正在看this example使用 getOpts，其中一部分确实让我困惑:字段标签的语法。

首先，这看起来很简单，创建一个数据类型并声明初始值:

data Options = Options  { optVerbose    :: Bool
                        , optInput      :: IO String
                        , optOutput     :: String -> IO ()
                        }

startOptions :: Options
startOptions =  Options { optVerbose    = False
                        , optInput      = getContents
                        , optOutput     = putStr
                        }

然后使用 getOpt 来遍历选项并使用 foldl 命令确定正在运行的程序的实际参数...然后这个 let 表达式让我感到沮丧:

let Options { optVerbose = verbose
            , optInput = input
            , optOutput = output   } = opts

此后将使用 bool 值和函数 verbose、input 和 output。在我更熟悉的大多数编程语言中，这一步会写成这样:

verbose = opts.optVerbose
input   = opts.optInput
output  = opts.optOutput

Haskell 的行为是否记录在某处？

Answer 1

很正常pattern-matching — 就像当您编写 let (x:xs) = someList 时，它将第一个元素分配给 x 并将列表的其余部分分配给 xs >.

如果你愿意，你可以写:

let verbose = optVerbose opts
    input   = optInput opts
    output  = optOutput opts

模式匹配在 Haskell 和 ML 系列中无处不在，但在其他语言中并不常见。