haskell - 瓦德勒的论文 : How is a tuple a function?

Question

在阅读 Wadler 的原始论文 Monads for Functional Programming (1992)，我感觉好像我明白了，但是，在状态处理程序的非 monadic 描述中，他展示了一个 State 的原始 monadic 描述:

type M a = State -> (a, State)
eval :: Term -> M Int
eval (Con a) x = (a, x)

它不再有意义了。我该怎么读这个？据我了解，这表示 eval 接受一个 int 和一个状态并返回一个接受状态并返回一个新对 (Int, State) 的函数

但是…… (a, x) 是一个值和状态的元组，它是一个“函数，它接受一个状态并返回一个新对 (Int, State)” “？

Answer 1

展开类型同义词:Term -> M Int相当于 Term -> State -> (Int, State) .

或者，将函数定义视为 eval (Con a) = \x -> (a, x) .