Samantha Atkins wrote:
> Of course, it would be wonderful if software components could be
> described quite well not only in syntax and interaction but in
> intensional terms and all of this were computable.
Since you put it that way, you might be interested in this:
http://research.microsoft.com/scripts/pubs/view.asp?TR_ID=MSR-TR-95-52
This is how the 'common intermediate language' in MS's .NET environment
is implemented, which explains how they can do neat tricks like
cross-language inheritance. Unfortunately they aren't making anything
for programming directly in the intermediate language, but they do have
a set of tools (intended for language vendors) that you can use to
create pseudo-compilers that translate the language of your choice.
Of course, since the .NET framework also includes a set of object
interfaces for examining, editing, commenting on and otherwise
manipulating code (even executing code!), there isn't really any need to
create special language features for this sort of thing.
Billy Brown, MCSE+I, MCSD, MCDBA
billybrown@extremelogic.com
This archive was generated by hypermail 2b30 : Mon May 28 2001 - 09:59:59 MDT