On Sun, Oct 10, 2010 at 6:14 PM, Kip Murray <[email protected]> wrote:
> In my model the verb isset tells which arrays are allowed to be sets.

But you can have naturally occurring arrays which would
be recognized as sets when that was not the intention.

Examples include:

   '123' -.L:0;:":i.10
   i.&.>#:2

And, this does not solve the related problem of using
the wrong set.

Personally, I think correctness is best dealt with using
testing.  If the result is not correct, the code is wrong.
If the code is wrong and the result is correct you need
additional tests.  (But good modularity demands that the
tests be factored out of the production code.)

(Though, granted, you can find advocates opposed to
modular design.)

-- 
Raul
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to