I believe the translation of |/0(0|+)\ is ⌈/0,(0⌈+)\
+/!5 equals ((((1+2)+3)+4)+5) which is not 1+2+3+4+5
whereas in APL/J it is +/iota5 equals (1+(2+(3+(4+5)))) which is 1+2+3+4+5
I find the APL approach mathematically consistent and elegant, but the K approach is more practical - it makes over and scan useful for state machines, parsing, and many other uses without having to reverse anything twice.But often, as in this case (or the flatten case) it doesn't matter which direction you start folding from.
If the verb argument of over/scan takes a single argument (rather than two), the adverbs will iterate to a fixed point. As before, "/" will return the final result and "\" returns all the intermediates.
For example:
+/1 2 3
6
+\1 2 3
1 3 6
*:/,,,0
0
*:\,,,0
(,,,0
,,0
,0
0)((⊃∘⍒0⌷⍉)⌷⊢)(+\,∘⍪,\)