haskell - Haskell 中的类型匹配

Question

如果 SomeType 定义为:

data SomeType = X {myBool :: Bool} 
                | Y {myString :: String} 
                | Z {myString :: String}

我将更新一个任意的 X，依赖于他的类型，如下所示:

changeST :: SomeType -> SomeType
changeST (X b) = (X True)
changeST (Y s) = (Y "newString")
changeST (Z s) = (Z "newString")

第三行和第四行做的非常一样，它们更新给定类型的字符串。
有什么方法可以用一行替换这两行，例如。通过将类型分配给变量？

Answer 1

不是通过将类型分配给变量，而是通过进行字段替换:

changeST :: SomeType -> SomeType
changeST (X b) = (X True)
changeST st = st { myString = "newString" }

这将返回与其参数相同的 st，但具有 myString 的值字段替换。字段的一个很好的特性是你可以不用关心它是哪个数据构造器，只要它是使用 myString 的数据构造器之一就可以做到这一点。 .