Haskell Monad狀態：獲取並修改

Question

我對單子狀態下獲取和修改的定義感到困惑。

---

Somewhere說：

得到： 「獲取的狀態的特定的成分，使用供給的投影函數」。

修改：將舊狀態映射到狀態monad內的新狀態。舊國家被拋棄。

這意味着我們可以使用修改直接爲狀態組件分配一個值，如here。

---

但somewhere別人說，我們可以提供給狀態的功能和使用修改，並得到結果。

---

這似乎兩個作品，但它不知道哪一個工作在哪裏！

Answer 1

你從來沒有引用第二個引用，所以我會忽略它在這個答案。如果你澄清這個問題的一部分，那麼我會試着回答它。

你引用源一個說：

gets :: MonadState s m => (s -> a) -> m a Source # 
Gets specific component of the state, using a projection function supplied. 

和

modify :: MonadState s m => (s -> s) -> m() Source # 
Monadic state transformer. 
Maps an old state to a new state inside a state monad. 

所以對於gets你可以提供一個功能s -> a並應用該功能，以目前的狀態後，將返回a。對於modify，您提供了一個函數s -> s，新狀態是您的函數應用於舊狀態的結果。