From: "Alexander E. Kopilovich" <aek@VB1162.spb.edu>
To: comp.lang.ada@ada-france.org
Subject: Re: MI Hownotto by Betrand Meyer
Date: Sun, 29 Oct 2006 06:39:07 +0300 (MSK)
Date: 2006-10-29T04:45:03+01:00 [thread overview]
Message-ID: <mailman.19.1162093347.4389.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <1gg01bv89foip.16h83zektx82y.dlg@40tude.net>; from "Dmitry A. Kazakov" at Sat, 28 Oct 2006 19:11:14 +0200
Dmitry A. Kazakov wrote:
> But what were an alternative to MI?
Perhaps a proper alternative to MI may be a set of different kinds of MI (each
equipped with its own name) instead of a single notion overloaded with complex
rules.
Look at algebra for a good example: there we have different compositions of
two algebraic objects - direct sum, direct product, tensor product etc.
Mathematicians do not try to pack all those things into one overcomplicated
notion for everyday use. (But for those, and only for those, who like or need
generalizations, there is category theory and the notion of universal object
in category, which covers all those cases - just describe a suitable category
and you'll get a particular construction from the general categorical notion.)
next prev parent reply other threads:[~2006-10-29 3:39 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-10-28 13:54 MI Hownotto by Betrand Meyer Georg Bauhaus
2006-10-28 17:11 ` Dmitry A. Kazakov
2006-10-29 3:39 ` Alexander E. Kopilovich [this message]
2006-10-29 14:19 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox