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@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