這個例子中的函子是什麼？

Question

我有下面的代碼行：

fmap (*2) (*11) 3 

我想了解我的仿函數是在這個例子裏，因爲當我檢查的類型我得到這個：

Prelude> :t fmap (*2) (*11) 3 
fmap (*2) (*11) 3 :: Num b => b 

和我在那裏沒有看到任何類似於仿函數的東西。如果我做了部分應用程序（是什麼去掉3叫什麼名字？）我得到以下幾點：

Prelude> :t fmap (*2) (*11) 
fmap (*2) (*11) :: Num a => a -> a 

，我仍然沒有看到任何看起來像有一個仿函數。

我在這裏錯過了什麼嗎？

Answer 1

有問題的仿函數是函數仿函數。功能仿函數定義爲

instance Functor ((->) a) where 
    fmap f g = f . g 

凡(->) a b ~ a -> b，只是使->運營商進入綴形式。所以這段代碼簡化爲

(*2) . (*11) $ 3