haskell - 如何获取自定义数据类型成员？

Question

这是我到目前为止所尝试过的。我想创建一个带有 String 和两个 Int 的类型 Info。现在我想访问该类型给定实例的String。我已阅读Accessing members of a custom data type in Haskell .

我没想到这会起作用，但无法搜索我正在寻找的内容:

Prelude> data Info = Info String Int Int
Prelude> aylmao = Info "aylmao" 2 3
Prelude> aylmao . String 

<interactive>:4:1: error:
    • Couldn't match expected type ‘b0 -> c’ with actual type ‘Info’
    • In the first argument of ‘(.)’, namely ‘aylmao’
      In the expression: aylmao . String
      In an equation for ‘it’: it = aylmao . String
    • Relevant bindings include
        it :: a -> c (bound at <interactive>:4:1)

<interactive>:4:10: error:
    Data constructor not in scope: String :: a -> b0
Prelude> 

我希望能够访问我类型的任何匿名成员，我该怎么做？

Answer 1

How to get custom data type member?

data Info = Info String Int Int

正如 Willem Van Onsem 所说，您可以编写一个函数来执行此操作:

infoString :: Info -> String
infoString (Info s _ _) = s

或者你可以 use record syntax命名您的数据类型字段:

data Info = Info { infoString :: String
                 , infoInt1   :: Int
                 , infoInt2   :: Int
                 }

并使用自动生成的 infoString::Info -> String 作为函数。

最好为这些字段想出更好的名称。