Tracy asked:
> I wish to define conjunction V such that (vb V noun) is equivalent to
> ([: vb noun"_) or (noun vb@:[]) used in tacit form.
There is a standard utility function in J for this purpose: bind_z_ . It
is defined (unsurprisingly) as 2 : 'x@(y"_)' .
Remember that if you can write the template, you can simply use the
template as an argument to : (with the appropriate name substitutions).
For example, using your templates above, you could've written:
([: vb noun"_) <==> 2 : '([: u n"_)'
(noun vb@:[]) <==> 2 : '(n"_ u@:[ ])'
-Dan
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
