haskell中函数只有一个参数吗？

izhier

(+) a b
=> ((+)a) b

其实该计算过程涉及到两个函数吧？

那我们该说 (+) 函数有两个参数还是有一个参数？

[ 本帖最后由 izhier 于 2009-3-29 17:16 编辑 ]

MMMIX

原帖由 izhier 于 2009-4-13 15:26 发表
Not surprisingly, data declarations themselves can also be parameterised.

问一下
以上红色的部分怎么翻译呢 ？

那意思就是说在声明数据类型的时候也可以带参数，看看它的例子应该有帮助。

izhier

programming in haskell

The difference between normal functions and constructor functions is that the
latter have no defining equations, and exist solely for the purpose of building
pieces of data.
Not surprisingly, data declarations themselves can also be parameterised.

问一下
以上红色的部分怎么翻译呢 ？
都碰到好几回了

难道是可被作为函数参数或可作为模式匹配 ？

[ 本帖最后由 izhier 于 2009-4-13 15:39 编辑 ]

izhier

嗯
. 函数的优先级挺高的

1. 
   
2. *Main> :i (^)
   
3. (^) :: (Num a, Integral b) => a -> b -> a       -- Defined in GHC.Real
   
4. infixr 8 ^
   
5. *Main> :i (.)
   
6. (.) :: (b -> c) -> (a -> b) -> a -> c   -- Defined in GHC.Base
   
7. infixr 9 .
   

复制代码

[ 本帖最后由 izhier 于 2009-4-13 15:13 编辑 ]

flw

原帖由 izhier 于 2009-4-13 15:02 发表

应该是一个函数
看这个例子：

module Main where

data Shape = Circle Float
           deriving ( Show )

area :: Shape -> Float
area (Circle r) = pi * r ^ 2

解释器运行如下：

*Main ...

这个小数点可和 C/C++ 的小数点不一样啊。
这个小数点是个运算符。
复合函数。

izhier

原帖由 win_hate 于 2009-4-1 21:15 发表
看 Student 的类型：
应该是一个函数。

应该是一个函数
看这个例子：

1. 
   
2. module Main where
   
3. 
   
4. data Shape = Circle Float
   
5.            deriving ( Show )
   
6. 
   
7. area :: Shape -> Float
   
8. area (Circle r) = pi * r ^ 2
   

复制代码

解释器运行如下：

1. 
   
2. *Main> :t area
   
3. area :: Shape -> Float
   
4. *Main> :t Circle
   
5. Circle :: Float -> Shape
   
6. *Main> area $ Circle 2
   
7. 12.566371
   
8. *Main> (area.Circle) 2               --这个功能也可行
   
9. 12.566371
   
10. *Main> area.Circle $ 2
    
11. 12.566371
    

复制代码

[ 本帖最后由 izhier 于 2009-4-13 15:06 编辑 ]

flw

原帖由 win_hate 于 2009-4-2 14:21 发表
我看过的 haskell 文档都没有把这个东西直接称为函数，而是叫做建构子。可能因为建构子除了具有一般的函数功能外，还可以用作模式匹配吧。

嗯。

win_hate

我看过的 haskell 文档都没有把这个东西直接称为函数，而是叫做建构子。可能因为建构子除了具有一般的函数功能外，还可以用作模式匹配吧。

flw

对。是函数。这个 YAHT 里讲的很清楚。

win_hate

看 Student 的类型：

1. 
   
2. *Main> :t Student
   
3. Student :: Int -> String -> Student
   
4. *Main>
   

复制代码

应该是一个函数。

True 和 False 是常量。