[Haskell-cafe] Partial pattern matching

[Eugene Kirpichov]

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
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>



-- 
Eugene Kirpichov
Web IR developer, market.yandex.ru