С | m&v u&n _ 0 _ |
m&v y определено как m v y ; тоесть
левый аргумент m цепляется к диаде v
производя монаду (получается диада С фиксированным аргументом, тоесть монада).
Подобно, u&n y определено как y u n ;
другими словами, аргумент n цепляется к диаде u справа,
производя монаду.
|
x m&v y ↔ m&v^:x y x u&n y ↔ u&n^:x y |
10&^. 2 3 10 100 200 0.30103 0.477121 1 2 2.30103 base10log=: 10&^. base10log 2 3 10 100 200 0.30103 0.477121 1 2 2.30103 sine=: 1&o. sine o. 0 0.25 0.5 1.5 2 0 0.707107 1 _1 0 ^&3 (1 2 3 4 5) 1 8 27 64 125 ^&2 3"0 (1 2 3 4 5) 1 1 4 8 9 27 16 64 25 125Использование С часто называют Currying в честь Haskell-а Curry.
fib=: (0 1,:1 1)&(+/ .*)@[&0 & 0 1 fib i.10 0 1 1 1 1 2 2 3 3 5 5 8 8 13 13 21 21 34 34 55