haskell有多少參數runState有

Question

我誤讀了文檔。

考慮如mtl中定義的runState。

s -> (a, s) :: State s a

請問是什麼樣子的兩個參數爲runState有事情做與StateT s Identity的s和Identity？

Answer 1

您正在誤讀類型簽名。

runState :: State s a -> s -> (a, s) 

該類型簽名直接表明runState需要2個論證。第一種是State s a型，第二種是s型。