什麼是結合本地和全局狀態

Question

我有這樣的全局狀態

type GlobalState a = State Int a 

而是一個功能需要自己的本地狀態，並獲得了GlobalState

type LocalState a = State [String] a 

但我的最佳方式現在不確定要合併它們。

現在我只需要添加本地狀態到全球

type GlobalState a = State (Int, [String]) a 

它工作正常，但我不認爲這是正確的，因爲我只需要在一個函數的局部狀態。 有沒有更好的方法？

Answer 1

您可以使用兩個State s的monad stack：

type LocalState a = [String] 
type GlobalState a = [String] 
newtype MyState a = StateT GlobalState (State LocalState) a