I wrote:
> Oh, hey, how do you like this?
> In a tacit sentence, the values of all the names are fixed.
Ok, ok, last one (for now :):
A tacit sentence contains no variables.
Note that doesn't mean a tacit sentence doesn't contain user-defined name, it
means the user-defined names is contains don't vary
(at least, they don't vary just because you invoked the sentence with different
arguments).
I guess one problem with this definition is that it would mean 3+5 is tacit.
Which I guess it is, in a way (in the same way
|@- is tacit). But perhaps a more precise way to express it might be:
A tacit sentence contains no variables, yet can produce different
values.
but then +`- isn't tacit. Hmm.
A tacit is reusable, yet contains no variables.
So now +`- is tacit again, but so is 3+5 (so maybe +`- isn't tacit after
all?).
We're getting close...
-Dan
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
