Newsgroups: comp.lang.apl
Path: watmath!watserv1!70530.1226@compuserve.com
From: Mike Kent <70530.1226@CompuServe.COM>
Subject: Locatives in J
Message-ID: <920414042647_70530.1226_CHC155-1@CompuServe.COM>
Sender: root@watserv1.waterloo.edu (Operator)
Organization: University of Waterloo
Date: Tue, 14 Apr 1992 04:26:47 GMT
Lines: 32

OK, I understand what 

       EllipticCurve_number =. 1729 

does; it binds the value 1729 to the name "number" in the locale named 
EllipticCurve".  Is it possible to construct a locale tree by e.g.

       AlgebraicGeometry_Topic1 =. EllipticCurve

(as should be the case if locales are first class) and then to reference

       AlgebraicGeometry_Topic1_number

to obtain 1729 again? 

If the answer is yes, is it possible to assign a locale to an "ordinary"
name, say 

       Favorite =. EllipticCurve

and then reference 

       Favorite_number

If not, wouldn't these be proper extensions?  Or is there some
obstruction I've missed?



       


