The function produced by an adverb or conjunction is ambivalent. For example, the monadic and dyadic cases produced by the first phrase of the table behaves as follows: |
c0=: ([.@{.) , (].@}.) %: c0 *: %:@{. , *:@}. x=: 2 3 5 7 11 13 17 3 %: c0 *: x Dyadic case 1.41421 1.73205 2.23607 49 121 169 289 %: c0 *: x Monadic case 1.41421 9 25 49 121 169 289
The phrase c1 illustrates the fact that a conjunction may also be defined in explicit form, and c2 illustrates the production of the equivalent tacit definition from the explicit form: |
c1=: 2 : 'x.@{. , y.@}.' c2=: 12 : 'x.@{. , y.@}.' %: c1 *: %:@{. , *:@}. c1 2 : 'x.@{. , y.@}.' c2 [. @ {. , (]. @ }.) c0=: ([.@{.) , (].@}.) f on first x items of y and g on rest. c1=: 2 : 'x.@{. , y.@}.' Explicit form of c0 c2=: 12 : 'x.@{. , y.@}.' Equivalent to c0