應用中純定義的問題

Question

我是Haskell的初學者，我要解決一個工作表問題，這次我真的被卡住了。 救命！：））

我要解決一些monad的實例，從functor到monad開始，我無法弄清楚Applicative實例中的pure。 我不想發布該程序的所有代碼，但我認為下面的內容應該說明問題：

這是給出的代碼，不能改變：

class (Semigroup a, Monoid a) => Log a where
    logMsg :: String -> a

newtype Logger l a = Logger (a,l)
    deriving Show

logMsgM :: Log l => String -> Logger l ()
logMsgM s = Logger ((), logMsg s)

這些是我正在研究的實例：

instance (Log l) => Functor (Logger l) where 
    fmap g (Logger (a, l)) = Logger ((g a), l)


instance (Log l) => Applicative (Logger l) where 
    pure ???????????????????
    (<*>) (Logger (g,l)) (Logger (a,_)) = Logger ((g a), l)

instance (Log l) => Monad (Logger l) where 
    return                                              = pure
    (>>=) (Logger (a,l)) g                              = (g a)
    (>>)  x y                                           = x >>= \_ -> y

純潔的我被困住了。 pure = Logger產生infinte類型錯誤a~（a，l）並且所有使用輸入參數調整的嘗試最終都會出現未知變量錯誤，或者帶有拖尾零和類型變量的類型變量的奇怪類型錯誤。 我嘗試了很多，很難以更合理的方式發布錯誤消息。 我不知道發生了什么。 這是基於介紹講座，所以我知道基本概念。 我只是無法使用函數聲明（我認為......）正確處理這個newtype定義，特別是將這兩個參數包含到一個（對）中。 我確實理解（或者可能更好的措辭：“我可以遵循”）類型定義或新類型中的案例的典型示例，例如可能，或者右側具有相同數量或更多參數的其他情況。 但是，也許，我對這個假設是錯的，而且我在一個我根本看不到的地方犯了一個謬誤。

順便說一句，整個代碼在編寫pure = return時編譯，但程序產生堆棧溢出（微笑）。 我認為這並不奇怪，因為return = puer和pure = return可能很好地編譯但沒有意義，對吧！？

Thanx求助:)

Answer 1

Logger是一種通常稱為Writer monad的類型 。 這個想法是，如果你有一個Logger la ， l是一個Semigroup ，那么如果你運行一個Logger la然后另一個Logger lb ，那么結果會讓兩個l s彼此相鄰（即使用Monoid操作連接） 。 那是：

Logger (1,"test1") >> Logger (2,"test2")   ==   Logger (2,"test1" <> "test2")

鑒於此， pure a意志只是Logger (a, something) ，其中something是連接時沒有任何影響的值。 但現在看一下類型類聲明：

class (Semigroup a, Monoid a) => Log a where ...
instance (Log l) => Applicative (Logger l) where ...

所以在Applicative (Logger l) ， l必須是Monoid ，所以它必須具有一個標識值mempty ！ 這給了我們pure a = Logger (a, mempty) ， pure a = Logger (a, mempty)返回a而不影響日志。

---

但是，仍然存在問題。 如果我們有Logger (a1,l1) >>= \\x -> Logger (a2,l2)或Logger (a1,l1) <*> Logger (a2,l2) ，我們想要連接l1 <> l2結果。 但是你目前的實現並沒有這樣做！ 因此，您需要更改它以滿足此屬性。 由於我不想為你解決整個工作表，我將其作為練習; 但是，如果您遇到困難，您可能需要查閱此答案頂部的鏈接。