[Haskell-cafe] Partial pattern matching
ekirpichov at gmail.com
Mon Mar 9 12:33:39 EDT 2009
P x is indistinguishable neither in compile-time nor in run-time from
the value \y -> P x y.
And pattern matching and equality on functions is, of course, undecidable.
2009/3/9 Peter Verswyvelen <bugfact at gmail.com>:
> In Haskell, a data constructor can be used partially applied:
> data Pair a b = P a b
> f = P 1
> however, I cannot do "partial pattern matching", e.g
> firstCoord (P x) = x
> does not work.
> I guess a very important reason must exist why this is the case?
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
Web IR developer, market.yandex.ru
More information about the Haskell-Cafe