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

izhier

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

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

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

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

izhier

改了一下标题，锁定 haskell 语言，不是太了解其他函数式语言。

原帖由 win_hate 于 2009-3-29 16:56 发表
如果给它三个参数，会出错的。

(+) 的类型是：Num a => a -> (a -> a)，出错是因为类型不匹配，不是参数数目不匹配吧 ?
这不能判断 (+) 有两个参数吧？

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

izhier

原帖由 win_hate 于 2009-3-29 17:23 发表
>> 改了一下标题，锁定 haskell 语言，不是太了解其他函数式语言。

我没说其它语言啊

恩，上面是我理解有误

yaht 中 4.4.2 节 Higher-Order Types 有说：

1. 
   
2. (+) :: Num a => a -> a -> a
   
3. + is a function which, for some type a which is an instance of Num, takes a value of
   
4. type a and produces another function which takes a value of type a and produces a value
   
5. of type a. In short hand, we might say that + takes two values of type a and produces a
   
6. value of type a, but this is less precise.
   

复制代码

这种说法是只用于
说明函数的类型
还是
也说明函数的执行过程呀？

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

izhier

原帖由 Magicloud 于 2009-3-29 18:25 发表
haskell中的體現就是
inc = (+) 1
使用參數省略定義的函數……

这个不是参数省略的函数吧
它应该本身就是一个函数

1. 
   
2. Hugs.Base> :t (+) 1
   
3. (1 +) :: Num a => a -> a
   

复制代码

izhier

flw 这么一说
我更加没头脑了
这个题目不知是用数学分析还是 lambda 演算
函数式编程应该比较倾向于 lambda 演算吧？

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

izhier

再一个问题：

haskell 中有没有 无参数 的函数呀？

izhier

原帖由 win_hate 于 2009-3-30 13:18 发表
常数是无参函数

啊...常数都是函数呀！

那是不是 haskell 里 "一切皆函数" ?
就像 python 里 "一切皆对象"

izhier

1. 
   
2. --test.hs
   
3. module Main where
   
4. 
   
5. data Student = Student {
   
6.                          stId   :: Int,
   
7.                          stName :: String
   
8.                 } deriving (Show)
   

复制代码

1. 
   
2. :l test.hs
   
3. Main> Student 123 "abc"
   
4. Student {stId = 123, stName = "abc"}
   
5. Main> stId(Student 123 "abc")
   
6. 123
   
7. Main> stName(Student 123 "abc")
   
8. "abc"
   

复制代码

上面 Student （value constructor） 是函数吗？

那 Bool 的两个 value constructor True 和 False 是函数（无参函数）吗？
这两个相当于常量吧？

[ 本帖最后由 izhier 于 2009-4-1 20:22 编辑 ]

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 编辑 ]

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 编辑 ]