It is not documented, and the system should signal
error in such cases (and will do so in the next
release).

The undocumented feature is that atom or list 
gerund arguments are accepted for @ @: &: with 
results modelled as follows:

A=: ((,'@') <@; <)@,"0
B=: ('@:'   <@; <)@,"0
C=: ('&:'   <@; <)@,"0

   (f`goo`hoot) @ (p`que`rare)
+---------+-------------+---------------+
|+-+-----+|+-+---------+|+-+-----------+|
||@|+-+-+|||@|+---+---+|||@|+----+----+||
|| ||f|p|||| ||goo|que|||| ||hoot|rare|||
|| |+-+-+||| |+---+---+||| |+----+----+||
|+-+-----+|+-+---------+|+-+-----------+|
+---------+-------------+---------------+
   (f`goo`hoot) A (p`que`rare)
+---------+-------------+---------------+
|+-+-----+|+-+---------+|+-+-----------+|
||@|+-+-+|||@|+---+---+|||@|+----+----+||
|| ||f|p|||| ||goo|que|||| ||hoot|rare|||
|| |+-+-+||| |+---+---+||| |+----+----+||
|+-+-----+|+-+---------+|+-+-----------+|
+---------+-------------+---------------+

   (f`goo`hoot) @: ({.+`+)
+----------+------------+-------------+
|+--+-----+|+--+-------+|+--+--------+|
||@:|+-+-+|||@:|+---+-+|||@:|+----+-+||
||  ||f|+||||  ||goo|+||||  ||hoot|+|||
||  |+-+-+|||  |+---+-+|||  |+----+-+||
|+--+-----+|+--+-------+|+--+--------+|
+----------+------------+-------------+
   (f`goo`hoot) B ({.+`+)
+----------+------------+-------------+
|+--+-----+|+--+-------+|+--+--------+|
||@:|+-+-+|||@:|+---+-+|||@:|+----+-+||
||  ||f|+||||  ||goo|+||||  ||hoot|+|||
||  |+-+-+|||  |+---+-+|||  |+----+-+||
|+--+-----+|+--+-------+|+--+--------+|
+----------+------------+-------------+



----- Original Message -----
From: Jose Mario Quintana <[EMAIL PROTECTED]>
Date: Monday, October 16, 2006 7:26 am
Subject: [Jprogramming] @''

> Is the following behavior of @'' (and @:'', ''@ & ''@:) documented or
> reliable? 
> 
>   (#$%^) (@'') -: (^&*) (@'')
> 1


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

Reply via email to