[Haskell-beginners] Pattern matching over functions
giacomo at tesio.it
Fri Dec 9 07:42:04 CET 2011
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).
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
> Beginners mailing list
> Beginners at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Beginners