I posted on
my https://www.facebook.com/CoherentSystems
page :
I posted a
solution in CoSy , the language , to a puzzle , https://www.facebook.com/.../memes.../posts/881798979775499/
i( 1 4 2 5 3 6 5 8 )i >t0>
4 _partition
(
1 4
2 5
3 6
5 8
)
t0 ' + .\ |>| 1 5 7 12 15 21 26 34
(
1 4
2 5
3 6
5 8
)
t0 ' + .\ |>| 1 5 7 12 15 21 26 34
which made
me realize I had never ` upgraded ` .\ to work on CoSy level
verbs .
` .\ is the APL ` scan
adverb . I think you can deduce what it does from
the example above where ` + is the raw x86 level `
plus .
It took me
far longer than it should to get the CoSy level
definition perfect because I only occasionally have
the time to immerse my self in coding , and coding
benefits from immersion especially when you have a
vocabulary of
Allwords # |>| 2355
from the
machine primitives to the APL level abstractions and
everyday useful vocabulary on that .
Here's the
final definition . This took far more time than it
should have :
| ` scan , integral , for ` CoSy level fns . like running ` ./ | 20230414 20230416: .\ ( RA fn -- r ) >aux 1p> dup i# $ Type@ VecInit >LpstkR@ dsc lpstk@ 0 _at!lpstk@ i# 1 do lpstk@ i 1- _at R@ i _at aux@ executelpstk@ i _at! loop auxdrop Lpstk> 1P> ;
So now I
can write :
i( 1 4 2 5 3 6 5 8 )i ' +i .\
|>| 1 5 7 12 15 21 26 34
or
i( 1 4 2 5 3 6 5 8 )i ' *i .\
|>| 1 4 8 40 120 720 3600 28800
which gives
a bit of the flavor of the generality of the
operator .
If anybody
would like to see how this works word by word , let
me know and I'll look at scheduling a Zoom .
Bob A
| Corrected
20230417.1258 |
Turns out
i( 1 4 2 5 3 6 5 8 )i i( 4 2 )i take flip ' ,/ 'm >t0>(1 2 3 54 5 6 8)t0 dsc t0 1th *i t0 dsc +i |>| 5 12 21 45
also
works .
