STM (State# RealWorld -> (#State# RealWorld, a#))
#没有显示在Haskell运算符列表中，谷歌也没有产生任何有用的东西。 Ghci:>:t (#)州：变量不在范围内。
那个角色到底做了什么？为什么在上面的代码中使用它（来自STM）？
答案 0 :(得分：5)
你需要一个语言扩展才能使用它，这是多么特别！
它没有做任何事情，它只是一个看起来很特别的角色，GHC人们喜欢用低级别的可能与拳击相关的东西。
有(# a, b #)这是a和b的未装箱元组的类型，这就是你在那里看到的 - 它不是( #State# , ...，它是{ {1}}。