1樓：韓冬
因為Iterable可以成為乙個Functor，而除此之外，還有很多像Iterable這樣的，具有一定功能的容器可以成為Functor。
這是個抽象的層次的問題，有了HKT，你的函式可以更加通用。
2樓：歐陽繼超
問題降乙個維度思考，為什麼要有higher order function呢？乙個接受函式返回函式的函式有什麼好用的，你要確定返回的函式取決於你給他喂的函式。
同理，higher kind type 也是type，但是確定他的型別需要 * 型別確定。但是定義他的時候又不管引數，你可以把F看成乙個型別，但是他是*->*
這就搞定了型別多型，你可以有很多種F, 比如f a，f b，型別系統就可以根據不同的a還是b選擇不同functor的map函式
還有就是型別檢查啊，那個Functor寫成scala太囉嗦，看haskell比較明顯
class
Functor(f
::*->*)
where
fmap::a
->b->fa
->fb
f的 kind 需要是 * -> * 所以尼瑪不能直接定義乙個 `instance Functor Int`，因為 Int 是 *
但是你可以定義 `instance Functor ` 因為 是 * -> * 啊
Prelude> :kgt; *
Prelude> :k Int
Int :: *
阿膠到底有什麼功能？
已登出 不是所有人都能直接服用阿膠的，濕熱體質的人，一定要調理好了再用，不然你就會上火，冒痘什麼的，感冒和姨媽期間也不要喝 我去年吃了半年左右，然後回家過年沒帶又因為疫情困家裡，所以停了 我是打成粉，每天早上用大概3克的量兌熱水喝掉，早飯之前喝，對我最直觀的影響就是，氣色變好了，我常夜班，之前一直掉...
信仰到底有什麼力量？
蘇菲看世界 信仰上帝，是你儘管做好自己，做錯了要認罪禱告，把你疑問猶豫的事情都交託給上帝，上帝會幫你做選擇，盡人事，聽天命 這樣內心才淡定， 看了這麼久知乎第一次想要回答問題。你說信仰是什麼，首先推薦你看一部電影和一部美劇，電影是最近的 血戰鋼鋸嶺 美劇是 行屍走肉 但是行屍走肉裡面涉及這個問題要到...
考研到底有什麼好處？
啥也不會 咱們做土木的。甲方一般只要211985本科及以上，雙非的我們研究生有機會博一下。不然只能去乙方。同樣是人，為什麼乙個要曬著太陽累的要死拿4k乙個月為什麼有的人能在空調下拿一萬多乙個月 同樣的年齡，專業知識可能也沒差多少 乙個中等地產來我們校招，雙非本科連一面都進不去，總共三輪面試。當然，想...