[haskell]函数复合有点模糊

retuor

Prelude> length.reverse [1,2,3]

<interactive>:1:7:
    Couldn't match expected type `a -> [a1]'
           against inferred type `[t]'
    In the second argument of `(.)', namely `reverse [1, 2, 3]'
    In the expression: length . reverse [1, 2, 3]
    In the definition of `it': it = length . reverse [1, 2, 3]



Prelude> length.reverse $ [1,2,3]
3

retuor

为什么 (.) length reverse [1,2,3] 可以，而 length . reverse [1,2,3] 时，haskell 会把整个 reverse [1,2,3] 作为第二个参数呢？

SNYH

因为 优先级
  这个在所有的语言里面貌似都是通用的吧

一般是这样写的 length . reverse $ [1,2,3]

retuor

但 (.) length reverse [1,2,3] 的时候，是按 (length . reverse) [1,2,3] 来算的。放前面和放中间优先级不一样吗？

SNYH

函数的优先级比  (.)运算符  要高
所以 reverse 会先应用到 [1,2,3] 上

但写成 (.) length reverse 的时候 . 就是一个函数 而不是运算符了

纯猜想
ps: 函数是left-associative

.  infixr 9

我没找到函数的优先级是多少之找到这句话

Whereas normal function application (putting a space between two things) has a really high precedence,....

SNYH

试了下

1. 
   
2. Prelude> 1 + 2 * 3
   
3. 7
   
4. Prelude> (+) 1 2 * 3
   
5. 9
   

复制代码

我想应该就是这么回事。。。   加了()之后的运算符就成了真正的函数。
运算符和函数有细微的区别，  至少运算符都有  infixr xxoo 或者 infixl xxoo这个属性

flw

函数应用的优先级最高

length . reverse [1,2,3] 等同于 length . ( reverse [1,2,3] )
而 (.) length reverse [1,2,3] 等同于 ( (.) length  reverse ) [1,2,3]

注意函数应用是左结合的。

retuor

(((.) length) reverse) [1,2,3]，呵呵.

打字洁癖症患者是怎么样的，能治么？

Fleurer

洁癖都用$
length $ reverse $ [1,2,3]

boilplate

原来这个叫函数复合 ……