[Jprogramming] Documentation for Explicit Definition

[Björn Helgason]

As you see from the documentation:

f=: 3 : 0
a=: 2+b=. y ^ 2
a+a*b
:
x*x+y
)

3 can be for both x and y and what is after : is the dyadic case.

It is quite nice to include the default x and call f again dyadically
in the part before :

As far as I can remember there used to be 14 to create dyadic tacit
but it was dropped later.


2011/10/27 Marc Simpson <marc at 0branch.com>

> 2011/10/27 Björn Helgason <gosinn at gmail.com>:
> > You can use x in 13
>
> Right. My point is that when a tacit definition is not found, 13 : n
> is equivalent to 4 : n when 'x' is in the body. The documentation
> states that 13 : n will produce a "tacit verb if possible, otherwise
> equivalent to 3 : n" (no mention of 4 : n).
>
> Here's an example of the sort of case I'm discussing (borrowed from Henry
> Rich),
>
>   13 : '+:^:x y'
> 4 : '+:^:x y'
>
> M
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
>



-- 
Björn Helgason, Verkfræðingur
Fornustekkum II
781 Hornafirði,
t-póst: gosinn at gmail.com
gsm: +3546985532
twitter: @flugfiskur
http://groups.google.com/group/J-Programming


Tæknikunnátta höndlar hið flókna, sköpunargáfa er meistari einfaldleikans

góður kennari getur stigið á tær án þess að glansinn fari af skónum
          /|_      .-----------------------------------.
         ,'  .\  /  | Með léttri lund verður        |
     ,--'    _,'   | Dagurinn í dag                     |
    /       /       | Enn betri en gærdagurinn  |
   (   -.  |        `-----------------------------------'
   |     ) |         (\_ _/)
  (`-.  '--.)       (='.'=)   ♖♘♗♕♔♙
   `. )----'        (")_(") ☃☠