[sorry, i just noticed this] On May 26, 2009, at 8:29 PM, Zinovy Diskin wrote:
impressive examples, such as the extremely successful Eclipse project http://www.eclipse.org, (btw, Eclipse is partly based on categorical ideas that engineers developed/reinvented from scratch).
i designed two tools which people who built them built on top of eclipse, and i must admint that i managed to completely miss those categorical ideas. eclipse is very handy, but some simple class hierarchies often become unrecognizable in its straitjacket. i am probably not the only one who would be curious to learn more about category theory behind eclipse :)
Another example is the use of open source software for commercial products by such giants as IBM.
i hope that you are right that it is a good thing that IBM supports the open source. i also hope that it is a good thing that Exxon, Chevron and BP support the alternative sources of energy, and that Philip Morris supports the teen culture. -- dusko [For admin and other information see: http://www.mta.ca/~cat-dist/ ]