[Haskell-beginners] Pattern matching over functions

[Giacomo Tesio]

I agree.

I think I got it, without the ability to correctly match equivalent
morphisms, morphisms can't be treated as objects.

Probably such ability would require a very powerful runtime, but I don't
think that it would be just matter of expressivity (and you would not loose
referential transparency as (+3) would be matched with (\x -> 5 + x - 2).


Giacomo

On Thu, Dec 8, 2011 at 1:53 PM, Daniel Fischer <
daniel.is.fischer at googlemail.com> wrote:

> On Thursday 08 December 2011, 07:14:39, Brent Yorgey wrote:
> > I, for one, am not
> > willing to give up these beautiful and powerful reasoning tools just
> > for a little gain in expressivity.
> >
> > -Brent
>
> Seconded,
>
> Daniel
>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://www.haskell.org/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20111209/bb84de56/attachment-0001.htm>