[Haskell-cafe] conflicting variable definitions in pattern

Jason Dusek jason.dusek at gmail.com
Fri May 15 23:08:07 EDT 2009

  Algebraic datatypes are built and unpacked with constructors.
  Pattern matching is just a way to use these constructors.

  This is distinct from the kind of unification/validation that
  happens in logic languages like Prolog. There is no special list
  constructor for when the first two items are equal.

Jason Dusek

More information about the Haskell-Cafe mailing list