使用自定义数据类型在haskell中定义新的数据类型

Question

我想知道是否有可能在 Haskell 中做这样的事情

data Word = Det String | Adj String | Noun String | Verb String | Adverb String
data NounPhrase = Noun | Det Noun

如果我说错了，我想说的是 - “单词”是“Det”、“Adj”、“名词”等，而“NounPhrase”是“名词” " 或 "Det" 后跟 "Noun"。

当我尝试这样做时，我收到错误：“未定义的类型构造函数“名词””

我怎样才能做到这一点，使其按上述方式执行。

Answer 1

定义代数数据类型时 喜欢

数据 MyType = Con1 字符串 | Con2 Int

那么Con1 和Con2 是数据构造函数，它们本身就是 函数Con1 :: String -> MyType 和Con2 :: Int -> MyType。 你的例子有两个问题：

1. 您对不同类型使用相同的数据构造函数。由于数据 构造函数是产生特定类型值的函数，你不能使用 Word 使用相同的数据构造函数（Det 和 Noun）和 用于 NounPhrase。 所以你需要为构造函数选择不同的名字 NounPhrase。
2. Det Noun 没有意义，因为 Noun 是一个数据 构造函数，而Det 的参数需要是一个类型，例如String。

请参阅Constructors in Haskell 以帮助解决问题。

Answer 2

您混淆了类型和值构造函数。当你说

data Word = Det String | Adj String | Noun String | Verb String | Adverb String

您将 type Word 定义为多种形式之一，例如

Det String

说Det 是一个构造函数，它接受String 并返回一个Word 类型的值。 Noun 也是如此，它被定义为 Words 的构造函数 而不是类型。

您可以通过多种方式在 Haskell 中编码您想要的内容。到目前为止，最简单的是使用

data Word = Det String | Adj String | Noun String | Verb String | Adverb String
data NounPhrase = JustNoun String | Compound String String

这就是“学习 Haskell”的方式。它是“字符串类型的”，但可能足以满足您的目的。