我正在寻找一种在不需要实际数据时简化函数模式的方法：
data X = A | B String | C Int Int String
myfn :: X -> Int
myfn A = 50
myfn (B _) = 200
myfn (C _ _ _) = 500
有没有办法制作一个更简单的模式来匹配 C，只是丢弃这些值？
hsdev 添加了一个提示“提示：使用记录模式”，但谷歌并没有帮助我。
【问题讨论】：
标签： haskell pattern-matching record algebraic-data-types
您可以像这样使用记录模式：
data X = A | B {name :: String} | C {x::Int, y::Int, name::String}
myfn :: X -> Int
myfn A = 50
myfn B{} = 200
myfn C{} = 500
记录模式允许您为构造函数的字段命名。 您还可以执行以下操作：
myfn C{name=n} = length n
所以你可以看到你只能在你需要的特定字段上进行模式匹配。
注意：即使是不使用记录语法的数据类型，您也可以使用 empty 记录模式：
data A = A Int | B Int Int
myfn A{} = 1
myfn B{} = 2
这很好。 还有许多与记录模式相关的其他扩展：
RecordWildCards 允许您编写类似C{..} 的内容，它等价于模式：C{x=x, y=y, name=name}，即它匹配所有字段并且您现在在x 范围内具有与@ 匹配的值987654328@字段等
NamedFieldPuns 允许您将C{name} 写成与C{name=name} 等效，这样name 现在就在范围内并包含与name 字段匹配的值。
请记住，使用记录模式不会阻止您以位置方式使用构造函数，因此您仍然可以编写：
myfn (B _) = 200
它只是添加功能。
【讨论】：
B 声明为普通的非记录数据类型，您也可以使用空记录模式 (B{})。