如何在Haskell中解析為自定義類型

Question

我是Haskell的新手，也不知道如何解析。

我創建了一個新類型

type Field = String

現在我想將[String]解析為[Field]，我該怎么做？ 我已經有這個了：

parse :: [String] -> [Field]

Answer 1

我創建了一個新類型

不，你沒有。 如果您編寫type Foo = ... ，則定義類型別名 ：沒有新類型，您只給了某個（復合）類型一個新名稱。 從現在開始，您可以使用Field和String交錯。 您可以使用data Foo = ...或newtype Foo = ...定義新類型。 通常， type Foo = ...用於為更復雜的類型指定特定名稱。 像實例type NamedStringCollection = (String,[String]) 。

由於String和Field是同一類型，因此[String]和[Field] 。 結果，您不需要執行任何處理。 如果您有[String] ，則它同時是[Field] 。

你可以寫：

parse :: [String] -> [Field]
parse = id  -- not necessary

但是id只是返回您提供的內容。 所以id不能做任何工作。