为什么我不能这样做(翻转(+).digitToInt)$'4'4

Question

我只是想知道它是如何$工作的:我在期待

> (flip (+).digitToInt) $ '4' 4

<interactive>:1:24:
    Couldn't match expected type `t -> Char'
           against inferred type `Char'
    In the second argument of `($)', namely '4' 4
    In the expression: (flip (+) . digitToInt) $ '4' 4
    In the definition of `it': it = (flip (+) . digitToInt) $ '4' 4

适用(flip (+).digitToInt)于4 4,但没有奏效.怎么会？我发现这个有效

>  (flip (+).digitToInt) '4' 4
8
it :: Int

而且,我看到的类型:

>  :t (flip (+).digitToInt)
(flip (+).digitToInt) :: Char -> Int -> Int

但是,我不明白为什么我不能(flip (+).digitToInt)明确地申请申请

这种混乱来自于基本的观察

digitToInt $'5'

和

digitToInt'5'

允许具有相同的效果 - 除了顶部有更多的线路噪音.

Answer 1

(flip (+).digitToInt) $ '4' 4

是相同的

(flip (+).digitToInt) $ ('4' 4)

这当然不起作用,因为'4'它不是一个功能.

为了获得你想要的行为,你可以做到

(flip (+).digitToInt $ '4') 4

要不就

(flip (+).digitToInt) '4' 4