譬如这里
data SourcePos = SourcePos SourceName !Line !Column deriving ( Eq, Ord )
还有
data State s u = State { stateInput :: s, statePos :: !SourcePos, stateUser :: !u }
查了好几个地方,但是在Library里面找不到它的确切含义。
我在阅读Parsec库的时候碰到的问题,谢谢解惑:)
要找的是bang pattern么?定义和用法可以参见这里:[url=http://hackage.haskell.org/trac/haskell-prime/wiki/BangPatterns]BangPatterns[/url]