關於Haskell中函數的fmap

Question

我正在嘗試為函數實現fmap，並且無法弄清楚如何將“lift”應用於函數，而不是所有文檔如何引用像Maybe這樣的簡單類型

我想要實現的函數的類型是

fmapFunction :: (a -> b) -> (e -> a) -> (e -> b)

有什么想法我應該怎么做？

Answer 1

可能更容易看到你是否翻轉類型：

(e -> a) -> (a -> b) -> (e -> b)

我們可以將e轉換為a ，將a轉換為b 。 那么我們怎么能把e變成b呢？

不要過分關注“提升”; 使用Functor實例，發現實現的最佳方法就是遵循類型。