Not sure if this helps at all, but this book is interesting (you may have seen it):
http://www.amazon.com/Pattern-Calculus-Computing-Functions-Structures/dp/3540891846 It sounds like you are partly thinking in terms of how things are changing, eg., a changing object class hierarchy. I examined this book and at least got a feel for what is presented but some if it tough sledding. I got the impression that he has devised a means to formalize changing structures. But, take a look if interested or if you haven't seen it. Mike A On 9/6/13, Piaget Modeler <[email protected]> wrote: > Hi All, > Just wanted to get a survey. I'm thinking about what modularity means in an > interpreted language. I'm working on a new language for my researchand > came upon a question in modularity and interpreter design. > If you have existing objects defined in memory and you load a new > modulewhich redefines the type hierarchy, what should happen? > In most dialects of SQL, when adding a module (i.e. a script), say to build > a database, there is code to delete an existing object before defining the > new object. For example, when defining a new table, often there is code to > drop the table beforehand: > If ( exists(table(A))) then drop table A ;Create table A as blah blah > blah... > Redefinitions can obliterate existing database objects. The scripting can > be controlled by the developer so that redefinitions do not destroy existing > objects but rather just signal errors. > In 3 GL languages like C++, Java, etc. when a code module is accidentally > included twice in a source file, what exactly happens? Does the > compilerredefine or ignore the functions or objects in the duplicate module? > What about interpreted languages like python? > Your thoughts? > Michael. > > > ------------------------------------------- > AGI > Archives: https://www.listbox.com/member/archive/303/=now > RSS Feed: https://www.listbox.com/member/archive/rss/303/11943661-d9279dae > Modify Your Subscription: > https://www.listbox.com/member/?&; > Powered by Listbox: http://www.listbox.com > ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
