Question

我有数据类型,例如:

data MyData = Something1 String

and then I had a function

myFunction :: MyData -> String
myFunction x = x

职能我想提及[S , o , m , e ......] 页: 1 然而,我有以下错误:

Couldn t match expected type [Char] with actual typeMyData Expected type: String Actual type: MyData

就我所知,[《宪章》]与“努力”相同,我已宣布第1节为“努力”,因此它应当发挥作用?

Answer 1

<代码>[Char]与<编码>String相同,但与MyData不相同。为了获取贵国数据类别中储存的座标,你需要使用配对方式:

myFunction :: MyData -> String
myFunction (Something1 xs) = xs

这是因为<代码>数据。关键词使数据类型完全新。如果你只想到别的,你也可以使用<条形码><>>。关键词:

type MyData = String

myFunction :: MyData -> String
myFunction x = x

Answer 2

MyData是not,与Sting一样。这只是非常相似的。

你可以宣布这样一类同义词:

type MyData = String

之后,MyData和Sting是同一类别的两个名字。事实上,Sting已经是[哈尔]的一类同义词。在这种情况下,<密码>myFunction只是身份功能代码<>id。

或者,你可以采用配对模式,从MyData公司中提取力量:

myFunction :: MyData -> String
myFunction (Something1 xs) = xs

或者,你可以利用记录中的辛迪加自动使查阅者:

data MyData = Something1 { myFunction :: String}

(如上所述,这实际上与宣布<条码> 字功能<>/条码”相同,但现在可以建造<条码>。 MyData s using the syntax Something1{ myFunction = x } as well as Something1 x