Re: [imp-dev] Semantics of TypeStore

[Stan Sutton <suttons@xxxxxxxxxx>]

Hi Jurgen,

I'm not sure I understand the problem
(actually, I'm sure that I don't), but what you're proposing makes sense
to me.  I.e., keeping the base TypeStore simple and allowing for more
specialized extensions seems appropriate.  Of course, you could also
provide the specific extension that is of interest to you.  (Is there
a possibility of a TypeStore service with a basic base class and skeletons
for customizable implementations?)

Regards,

Stan

Stan Sutton, Ph. D.
IBM T. J. Watson Research Center
19 Skyline Drive, Hawthorne, NY 10532 USA
telephone:  1-914-784-7316, FAX:  1-914-784-7455, T/L 863
e-mail:  suttons@xxxxxxxxxx, Stan Sutton/Watson/IBM@IBMUS

Jurgen Vinju <Jurgen.Vinju@xxxxxx>
Sent by: imp-dev-bounces@xxxxxxxxxxx

02/25/2009 11:17 AM

Please respond to
IMP Developers List <imp-dev@xxxxxxxxxxx>

To	IMP Developers List <imp-dev@xxxxxxxxxxx>
cc
Subject	[imp-dev] Semantics of TypeStore

Hi Bob,

I was talking about TypeStore with Arnold Lankamp and we were thinking
of removing
some functionality from it. Currently it implements an "import"
functionality, which is designed
to lookup types through TypeStores that refer to eachother. The current
implementation
does not interpret imports transitively. It simply searches for a type
locally, and then in all
the imported TypeStores.

This design is inspired directly by the semantics of Rascal, but what if
you want something different?
Sometimes you might want to have transitive imports, sometimes you don't.
The fact that
we can discuss this is a hint that we may not want this functionality at
all on the PDB level.

So, we could remove the import functionality from TypeStore, and instead
add an 'addAll(TypeStore other)'
method to it. Then, the TypeStore acts like a store that manages (and checks)
type declarations on the PDB level, 
but nothing more. More advanced functionality could be implemented by user-defined
sub-classes of TypeStore or 
other classes that manage TypeStores. Or, direct API users in Java would
probably need nothing more then this
simple TypeStore functionality.

What are your thoughts on this?

Cheers,

Jurgen_______________________________________________
imp-dev mailing list
imp-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/imp-dev