-2
我誤讀了文檔。haskell有多少參數runState有
考慮如mtl中定義的runState
。
s -> (a, s) :: State s a
請問是什麼樣子的兩個參數爲runState
有事情做與StateT s Identity
的s
和Identity
?
我誤讀了文檔。haskell有多少參數runState有
考慮如mtl中定義的runState
。
s -> (a, s) :: State s a
請問是什麼樣子的兩個參數爲runState
有事情做與StateT s Identity
的s
和Identity
?
您正在誤讀類型簽名。
runState :: State s a -> s -> (a, s)
該類型簽名直接表明runState需要2個論證。第一種是State s a
型,第二種是s
型。
Haskell中的每個函數都有一個參數 –