|
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