27 Aug
2008
27 Aug
'08
2:47 p.m.
On 2008 Aug 27, at 14:23, Maurí cio wrote:
What does '~' mean in Haskell? I read in haskell.org/haskellwiki/Keywords that “(...) Matching the pattern ~pat against a value always suceeds, and matching will only diverge when one of the variables bound in the pattern is used.” Isn't that true for any variable, due to lazyness?
Only in let-patterns; others, including case expressions and top level definitions, are strict (which is in fact the normal way to force a value). -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH