home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / apl / 1262 < prev    next >
Encoding:
Text File  |  1992-12-23  |  2.4 KB  |  77 lines
  1. Newsgroups:   comp.lang.apl
  2. Path: sparky!uunet!uunet.ca!geac!itcyyz!yrloc!intern
  3. From:         eem@ipsaint.ipsa.reuter.COM (Mcdonnell, Eugene E.)
  4. Subject:      reply to Emmett McLean
  5. Message-ID: <1992Dec23.032519.29526@yrloc.ipsa.reuter.COM>
  6. Sender: intern@yrloc.ipsa.reuter.COM (Intern via QUADRAM)
  7. Reply-To:     eem@ipsaint.ipsa.reuter.COM (Mcdonnell, Eugene E.)
  8. Organization: Reuters Information Services (Canada)
  9. Date:         23 Dec 92 03:00:06 UT
  10. Lines: 65
  11.  
  12.  
  13. -----------Message forwarded from IPSA Mailbox-------------
  14.  
  15.  
  16. no. 6849643 filed  2.53.22  wed 23 dec 1992
  17. from eem
  18. to   uclapl
  19. subj reply to Emmett McLean
  20.  
  21.  
  22. .In reply to Emmett McLean's inquiry for details of >!._ and u^:g
  23.  and g} :
  24.  
  25.  A. To understand >!._ you should know that z=. <!.n y for any
  26.  nouns n and y is an atomic encoding of y having class n, so that
  27.  >!._ z is n.  For example,
  28.     y=.123 45 6789
  29.     n=.'social security number'
  30.     z=. <!.n y
  31.     >!._ z
  32.  social security number
  33.  
  34.  Thus the two verbs <!.n and >!._ allow a noun to be enrolled in
  35.  an arbitrary class n, and for the class of a noun to be
  36.  determined, respectively.  It's not OOP but it has something of
  37.  that flavor.  These are described in J Dictionary Version 5.  
  38.  
  39.  B. For verbs v0, v1, and v2, and gerund g=.v0`v1`v2, and nouns x
  40.  and y, 
  41.             g} y 
  42.  is defined as 
  43.                      (  v1 y) } (  v2 y)
  44.  and
  45.           x g} y
  46.  is defined as
  47.             (x v0 y) (x v1 y) } (x v2 y)
  48.  
  49.  Also, for verb f,
  50.        f ^: g y
  51.  is defined as
  52.                 f ^: (  v1 y)   (  v2 y)
  53.  and
  54.      x f ^: g y
  55.  is defined as
  56.        (x v0 y) f ^: (x v1 y)   (x v2 y)
  57.  
  58.  A one- or two-element g is permitted, and expands to 3&$&.|.g. 
  59.  
  60.  Thus the two forms u^:g and g} are designed to allow a greater
  61.  number of verbs to be specified tacitly than was heretofore
  62.  possible.  Recall section B. of the Hui/Iverson/McDonnell paper
  63.  "Tacit Definition" in APL91 Conference Proceedings (page 204),
  64.  where the translation from explicit to tacit form is permitted
  65.  for a sentence s on nouns x and y provided that s makes no use of
  66.  x or y as argument to an adverb or conjunction.  These two new
  67.  forms provide a way around that restriction for the amend adverb
  68.  } and the power conjunction ^:.  
  69.  
  70.  
  71.  
  72. -----------------------------------------------------------
  73. This posting is forwarded from an internal Reuters mailbox.
  74. No statement or opinion contained herein should be taken as
  75. being Reuters policy, or even as being approved by Reuters,
  76. in any way.
  77.