On Wed, Oct 21, 2009 at 12:18 PM,  <[email protected]> wrote:
> Actually I think this already exists in the std lib somewhere.
> It's called nountype, type, fulltype, or something.

Yes:

   datatype&>'one';2;<<3
literal
integer
boxed

It was implemented using 3!:0.

If I wanted an "in language" feature for dealing with this
issue, I would use adverse (which also deals with
domain problems which are not describable in terms
of types).

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

Reply via email to