Newsgroups: comp.lang.apl
Path: watmath!watserv1!utgpu!news-server.csri.toronto.edu!torsqnt!jtsv16!itcyyz!yrloc!hui
From: hui@yrloc.ipsa.reuter.COM (Roger Hui)
Subject: Re: J tacit conversion; Let's talk about it
Message-ID: <1991Oct23.153322.20562@yrloc.ipsa.reuter.COM>
Organization: Iverson Software Inc.
References: <2092@rosie.NeXT.COM>
Date: Wed, 23 Oct 91 15:33:22 GMT

s : 11 accepts a string list s or a 2- or 3-element list of boxes
of a sentence and initial values for x. and y.  For example:
   'x.+y.' : 11
   ('3 4$y.';1234) : 11
   (_3 4;'x.{.y.';'abcd') : 11
 
The string is a sentence to be translated, specifying a verb
on nouns x. and y. and resulting in a noun.  The translator
works by executing the sentence.  If no initial values are specified
for x. and y. (s is a string alone), x. and y. are initialized to 1
before the execution.  Non-default initial values must be supplied
if 1 were inadequate.
 
(monad_sentence : 11) : (dyad_sentence : 11)  is the way to translate
both a monadic defn and a dyadic defn.  There is currently no better way.
 
The sentence to be translated must specify a verb on nouns x. and y.,
resulting in a noun; therefore  '+' : 11  is rejected because the result
of the sentence '+' is a verb.  ('x.+y.' : 11  would work.)

--------------------------------
Roger Hui, Iverson Software Inc., 33 Major Street, Toronto, Ontario  M5S 2K9
(416) 925 6096; Fax: (416) 488 7559
