Haskell定义了类型

Question

研究Haskell的第一原理。 Haskell的绝对初学者。 如果：

data A
data B
func :: A -> B
func = undefined

实际功能是什么？虽然工作量很大，但效果很好（也谢谢你），但我又被卡住了。 A - ＆gt; B表示两种不同的类型，如'String' - ＆gt; “字符”？只是试图绕过它。

Answer 1

不，（具体）类型以大写开头。因此A -> B表示您使用A表达式定义的B和data A = ...类型（此处未定义），例如：

data A = Foo | Bar Int | Qux String A

如果签名包含小写的标识符，则它是类型变量。例如foo :: a -> b，意味着a和b可以被任何类型替换。因此，foo是一个函数，可以是A -> B，也可以是A -> Int，Char -> B和Char -> Int。

您还可以在签名中添加类型约束，以限制可以使用a和b的类型。与foo :: (Show a, Num b) => a -> b限制a和b一样，instance Show a和instance Num b类型应该存在a和b这样就定义了foo。

Answer 2

谢谢Willem，Chepner。你的回答让我想起了：

data A
data B
funcAJ :: A -> B
funcAJ a = a
       where a = b
             b = undefined

这个类型为funcAJ :: A - ＆gt; B，我明白了。非常感谢！