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
_______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners