haskell语法混乱——函数类型声明_Haskell_Syntax_Functional Programming

haskell语法混乱——函数类型声明

haskell syntax functional-programming

haskell语法混乱——函数类型声明,haskell,syntax,functional-programming,Haskell,Syntax,Functional Programming,我试图通过阅读《向你学习哈斯克尔》一书来学习哈斯克尔。我遇到了一个函数，它让我有点困惑，我想寻找一个解释。这个函数相当简单。我不明白的是声明函数类型时的第一行。什么是（RealFloat a）=>；a->a->a做什么？为什么它们用分号分隔先谢谢你 cylinder :: ( RealFloat a) =& gt; a -> a -> a cylinder r h = let sideArea = 2 * pi * r * h t

我试图通过阅读《向你学习哈斯克尔》一书来学习哈斯克尔。我遇到了一个函数，它让我有点困惑，我想寻找一个解释。这个函数相当简单。我不明白的是声明函数类型时的第一行。什么是（RealFloat a）=>；a->a->a做什么？为什么它们用分号分隔

先谢谢你

cylinder :: ( RealFloat a) =& gt; a -&gt; a -&gt; a
cylinder r h =
    let sideArea = 2 * pi * r * h
        topArea = pi * r ^2
    in sideArea + 2 * topArea

HTML字符实体表示为

&xxx

其中

xxx

是一些有效的HTML字符代码。具体而言，

是字符

的代码，因为它表示“大于”

假设问题中存在HTML错误，则类型声明变为

cylinder :: (RealFloat a) => a -> a -> a

它有什么作用

您可以像“假设

是类型类

RealFloat

的一个实例，

cyland

获取两个

类型的值，并返回一个

类型的值。您可能需要研究术语“currying”来读取这些声明

它所做的是声明函数类型

为什么用分号

实际类型声明中没有分号。