Haskell定义类型

Question

学习Haskell的第一原则。 Haskell的绝对初学者。 如果：

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

实际功能是什么？虽然锻炼负荷很大（也感谢你），但我再次卡住了。 A - > B是否表示两种不同的类型，如'字符串' - >'字符'？试图把我的头包裹起来。

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，使得对于类型a和b存在instance Show a和instance Num b，使得foo被定义在这些类型上。

Answer 2

谢谢威廉，谢普纳。你的答案帮助我想出了：

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

这种类型为funcAJ :: A - > B，据我了解。非常感谢！