什麼是商店comonad？

Question

對what the Comonad typeclass is in Haskell有一些想法，我聽說過Store的comonad。但看着Control.Comonad.Store.Lazy，我真的不明白。這是什麼意思？它是爲了什麼？我聽說Store = CoState是State Monad的雙重身份。那是什麼意思？

Answer 1

如果您看一下StoreT itself的定義會容易得多。

你可以把它想象成一個更大結構中的「地方」。例如，lens只是a -> Store b a;您將得到b字段的值，並且可以使用函數b -> a將新值重新放入更大的上下文中。

考慮在其簡化的非變壓器形式：

data Store s a = Store (s -> a) s 

instance Functor (Store s) where 
    fmap f (Store g s) = Store (f . g) s 

instance Extend (Store s) where 
    duplicate (Store f s) = Store (Store f) s 

instance Comonad (Store s) where 
    extract (Store f s) = f s 

即duplicate改變s -> a爲s -> Store s a剛更換後的值返回「更新」的地方，extract恢復原始一個將該值放回到較大的結構中。

至於它關係到國家的話，你可以看看這樣的：

type State s a = s -> (a, s) 
type Store s a = (s -> a, s) 

Answer 2

鑑於專賣店的如下定義，

data Store s a = Store { peek :: s -> a, pos :: s } 

我喜歡把一個Store作爲一個大型倉庫填充了a類型的值。 a類型的每個值都被分割到由s類型的索引值標記的位置。最後有一輛叉車停在pos的位置。叉車可用於extract價值a從商店通過拉出值從它停放的地方。您可以使用seek將叉車移動到新的絕對位置，或使用seeks將叉車移動到新的相對位置。要更新商店的所有值，請使用fmap。最後extend f類似於fmap，除了替代f :: a -> a'我們有f :: Store s a -> a'它允許更新函數不僅可以訪問正在更新的值，還可以訪問該值的位置並訪問存儲中其他所有值的值。換句話說，extend使用該值加上其周圍的上下文來執行更新。

一個更加計算機的比喻是將Store想象成一個硬盤的大盤，存儲在不同位置的值以及停放在特定位置的頭部。