Simon Forman
parent
aea619953d
commit
64946dc239
|
|
@ -53,6 +53,217 @@ decrements one of them such that the new pair of numbers is the next
|
||||||
coordinate pair in a square spiral (like the kind used to construct an
|
coordinate pair in a square spiral (like the kind used to construct an
|
||||||
Ulam Spiral).
|
Ulam Spiral).
|
||||||
|
|
||||||
|
|
||||||
|
██╗ ██╗██████╗ ██████╗ █████╗ ██████╗ ██╗ ██╗
|
||||||
|
██║ ██║██╔══██╗██╔══██╗██╔══██╗██╔══██╗╚██╗ ██╔╝
|
||||||
|
██║ ██║██████╔╝██████╔╝███████║██████╔╝ ╚████╔╝
|
||||||
|
██║ ██║██╔══██╗██╔══██╗██╔══██║██╔══██╗ ╚██╔╝
|
||||||
|
███████╗██║██████╔╝██║ ██║██║ ██║██║ ██║ ██║
|
||||||
|
╚══════╝╚═╝╚═════╝ ╚═╝ ╚═╝╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝
|
||||||
|
|
||||||
|
|
||||||
|
Start with increment and decrement:
|
||||||
|
|
||||||
|
-- ≡ 1 -
|
||||||
|
++ ≡ 1 +
|
||||||
|
|
||||||
|
Common symbols for operations:
|
||||||
|
|
||||||
|
= ≡ eq
|
||||||
|
+ ≡ add
|
||||||
|
> ≡ gt
|
||||||
|
< ≡ lt
|
||||||
|
>= ≡ ge
|
||||||
|
<= ≡ le
|
||||||
|
!= ≡ ne
|
||||||
|
<> ≡ ne
|
||||||
|
|
||||||
|
% ≡ mod
|
||||||
|
+ ≡ add
|
||||||
|
- ≡ sub
|
||||||
|
* ≡ mul
|
||||||
|
/ ≡ floordiv
|
||||||
|
div ≡ floordiv
|
||||||
|
|
||||||
|
& ≡ and
|
||||||
|
| ≡ or
|
||||||
|
! ≡ not
|
||||||
|
|
||||||
|
<< ≡ lshift
|
||||||
|
>> ≡ rshift
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
? ≡ dup bool
|
||||||
|
|
||||||
|
|
||||||
|
&& ≡ nulco [nullary [false]] dip branch
|
||||||
|
|| ≡ nulco [nullary] dip [true] branch
|
||||||
|
|
||||||
|
|
||||||
|
!- ≡ 0 >=
|
||||||
|
|
||||||
|
<{} ≡ [] swap
|
||||||
|
<<{} ≡ [] rollup
|
||||||
|
|
||||||
|
abs ≡ dup 0 < [] [neg] branch
|
||||||
|
|
||||||
|
anamorphism ≡ [pop []] swap [dip swons] genrec
|
||||||
|
|
||||||
|
app1 ≡ grba infrst
|
||||||
|
app2 ≡ [grba swap grba swap] dip [infrst] cons ii
|
||||||
|
app3 ≡ 3 appN
|
||||||
|
appN ≡ [grabN] codi map disenstacken
|
||||||
|
|
||||||
|
at ≡ drop first
|
||||||
|
|
||||||
|
b ≡ [i] dip i
|
||||||
|
dipd ≡ [dip] codi
|
||||||
|
genrec ≡ [[genrec] ccccons] nullary swons concat ifte
|
||||||
|
tailrec ≡ [i] genrec
|
||||||
|
ifte ≡ [nullary] dipd swap branch
|
||||||
|
ii ≡ [dip] dupdip i
|
||||||
|
infra ≡ swons swaack [i] dip swaack
|
||||||
|
x ≡ dup i
|
||||||
|
pam ≡ [i] map
|
||||||
|
|
||||||
|
|
||||||
|
nullary ≡ [stack] dinfrirst
|
||||||
|
unary ≡ nullary popd
|
||||||
|
binary ≡ unary popd
|
||||||
|
ternary ≡ binary popd
|
||||||
|
|
||||||
|
ccccons ≡ ccons ccons
|
||||||
|
ccons ≡ cons cons
|
||||||
|
|
||||||
|
clear ≡ [] swaack pop
|
||||||
|
|
||||||
|
cleave ≡ fork popdd
|
||||||
|
clop ≡ cleave popdd
|
||||||
|
fork ≡ [i] app2
|
||||||
|
|
||||||
|
cmp ≡ [[>] swap] dipd [ifte] ccons [=] swons ifte
|
||||||
|
|
||||||
|
codi ≡ cons dip
|
||||||
|
codireco ≡ codi reco
|
||||||
|
|
||||||
|
dinfrirst ≡ dip infrst
|
||||||
|
|
||||||
|
|
||||||
|
disenstacken ≡ ? [uncons ?] loop pop
|
||||||
|
enstacken ≡ stack [clear] dip
|
||||||
|
|
||||||
|
down_to_zero ≡ [0 >] [dup --] while
|
||||||
|
|
||||||
|
drop ≡ [rest] times
|
||||||
|
|
||||||
|
dupd ≡ [dup] dip
|
||||||
|
dupdd ≡ [dup] dipd
|
||||||
|
dupdip ≡ dupd dip
|
||||||
|
dupdipd ≡ dup dipd
|
||||||
|
|
||||||
|
|
||||||
|
rest ≡ uncons popd
|
||||||
|
first ≡ uncons pop
|
||||||
|
second ≡ rest first
|
||||||
|
third ≡ rest second
|
||||||
|
fourth ≡ rest third
|
||||||
|
|
||||||
|
|
||||||
|
flatten ≡ <{} [concat] step
|
||||||
|
|
||||||
|
gcd ≡ true [tuck mod dup 0 >] loop pop
|
||||||
|
|
||||||
|
|
||||||
|
grabN ≡ <{} [cons] times
|
||||||
|
grba ≡ [stack popd] dip
|
||||||
|
|
||||||
|
hypot [sqr] ii + sqrt
|
||||||
|
|
||||||
|
infrst ≡ infra first
|
||||||
|
|
||||||
|
make_generator ≡ [codireco] ccons
|
||||||
|
|
||||||
|
manual ≡ [] words [help] step pop
|
||||||
|
|
||||||
|
neg ≡ 0 swap -
|
||||||
|
not ≡ [true] [false] branch
|
||||||
|
|
||||||
|
nulco ≡ [nullary] cons
|
||||||
|
of ≡ swap at
|
||||||
|
|
||||||
|
over ≡ [dup] dip swap
|
||||||
|
|
||||||
|
pm ≡ [+] [-] clop
|
||||||
|
|
||||||
|
popd ≡ [pop] dip
|
||||||
|
popdd ≡ [pop] dipd
|
||||||
|
popop ≡ pop pop
|
||||||
|
popopop ≡ pop popop
|
||||||
|
popopd ≡ [popop] dip
|
||||||
|
popopdd ≡ [popop] dipd
|
||||||
|
|
||||||
|
product ≡ 1 swap [*] step
|
||||||
|
|
||||||
|
quoted ≡ [unit] dip
|
||||||
|
|
||||||
|
range ≡ [0 <=] [1 - dup] anamorphism
|
||||||
|
range_to_zero ≡ unit [down_to_zero] infra
|
||||||
|
|
||||||
|
reco ≡ rest cons
|
||||||
|
|
||||||
|
|
||||||
|
reverse ≡ <{} shunt
|
||||||
|
|
||||||
|
roll> ≡ swap swapd
|
||||||
|
roll< ≡ swapd swap
|
||||||
|
rollup ≡ roll>
|
||||||
|
rolldown roll<
|
||||||
|
|
||||||
|
rrest ≡ rest rest
|
||||||
|
|
||||||
|
run ≡ <{} infra
|
||||||
|
shift ≡ uncons [swons] dip
|
||||||
|
shunt ≡ [swons] step
|
||||||
|
size ≡ [pop ++] step_zero
|
||||||
|
spiral_next ≡ [[[abs] ii <=] [[<>] [pop !-] ||] &&] [[!-] [[++]] [[--]] ifte dip] [[pop !-] [--] [++] ifte] ifte
|
||||||
|
split_at ≡ [drop] [take] clop
|
||||||
|
split_list ≡ [take reverse] [drop] clop
|
||||||
|
sqr ≡ dup *
|
||||||
|
stackd ≡ [stack] dip
|
||||||
|
step_zero ≡ 0 roll> step
|
||||||
|
stuncons ≡ stack uncons
|
||||||
|
sum ≡ [+] step_zero
|
||||||
|
swapd ≡ [swap] dip
|
||||||
|
swons ≡ swap cons
|
||||||
|
swoncat ≡ swap concat
|
||||||
|
sqr ≡ dup mul
|
||||||
|
take ≡ <<{} [shift] times pop
|
||||||
|
tuck ≡ dup swapd
|
||||||
|
uncons ≡ [first] [rest] cleave
|
||||||
|
unit ≡ [] cons
|
||||||
|
unquoted ≡ [i] dip
|
||||||
|
unswons ≡ uncons swap
|
||||||
|
while ≡ swap nulco dupdipd concat loop
|
||||||
|
|
||||||
|
step ≡ [_step0] x
|
||||||
|
_step0 ≡ _step1 [popopop] [_stept] branch
|
||||||
|
_step1 ≡ [?] dipd roll<
|
||||||
|
_stept ≡ [uncons] dipd [dupdipd] dip x
|
||||||
|
|
||||||
|
times ≡ [_times0] x
|
||||||
|
_times0 ≡ _times1 [popopop] [_timest] branch
|
||||||
|
_times1 ≡ [dup 0 >] dipd roll<
|
||||||
|
_timest ≡ [[--] dip dupdipd] dip x
|
||||||
|
|
||||||
|
map ≡ [_map0] cons [[] [_map?] [_mape]] dip tailrec
|
||||||
|
_map? ≡ pop bool not
|
||||||
|
_mape ≡ popd reverse
|
||||||
|
_map0 ≡ [_map1] dipd _map2
|
||||||
|
_map1 ≡ stackd shift
|
||||||
|
_map2 ≡ [infrst] cons dipd roll< swons
|
||||||
|
|
||||||
|
|
||||||
'''
|
'''
|
||||||
from functools import wraps
|
from functools import wraps
|
||||||
from inspect import getdoc
|
from inspect import getdoc
|
||||||
|
|
@ -1052,212 +1263,6 @@ class Def(object):
|
||||||
inscribe(class_(name, body), dictionary)
|
inscribe(class_(name, body), dictionary)
|
||||||
|
|
||||||
|
|
||||||
DEFS = '''\
|
|
||||||
|
|
||||||
Start with increment and decrement:
|
|
||||||
|
|
||||||
-- ≡ 1 -
|
|
||||||
++ ≡ 1 +
|
|
||||||
|
|
||||||
Common symbols for operations:
|
|
||||||
|
|
||||||
= ≡ eq
|
|
||||||
+ ≡ add
|
|
||||||
> ≡ gt
|
|
||||||
< ≡ lt
|
|
||||||
>= ≡ ge
|
|
||||||
<= ≡ le
|
|
||||||
!= ≡ ne
|
|
||||||
<> ≡ ne
|
|
||||||
|
|
||||||
% ≡ mod
|
|
||||||
+ ≡ add
|
|
||||||
- ≡ sub
|
|
||||||
* ≡ mul
|
|
||||||
/ ≡ floordiv
|
|
||||||
div ≡ floordiv
|
|
||||||
|
|
||||||
& ≡ and
|
|
||||||
| ≡ or
|
|
||||||
! ≡ not
|
|
||||||
|
|
||||||
<< ≡ lshift
|
|
||||||
>> ≡ rshift
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
? ≡ dup bool
|
|
||||||
|
|
||||||
|
|
||||||
&& ≡ nulco [nullary [false]] dip branch
|
|
||||||
|| ≡ nulco [nullary] dip [true] branch
|
|
||||||
|
|
||||||
|
|
||||||
!- ≡ 0 >=
|
|
||||||
|
|
||||||
<{} ≡ [] swap
|
|
||||||
<<{} ≡ [] rollup
|
|
||||||
|
|
||||||
abs ≡ dup 0 < [] [neg] branch
|
|
||||||
|
|
||||||
anamorphism ≡ [pop []] swap [dip swons] genrec
|
|
||||||
|
|
||||||
app1 ≡ grba infrst
|
|
||||||
app2 ≡ [grba swap grba swap] dip [infrst] cons ii
|
|
||||||
app3 ≡ 3 appN
|
|
||||||
appN ≡ [grabN] codi map disenstacken
|
|
||||||
|
|
||||||
at ≡ drop first
|
|
||||||
|
|
||||||
b ≡ [i] dip i
|
|
||||||
dipd ≡ [dip] codi
|
|
||||||
genrec ≡ [[genrec] ccccons] nullary swons concat ifte
|
|
||||||
tailrec ≡ [i] genrec
|
|
||||||
ifte ≡ [nullary] dipd swap branch
|
|
||||||
ii ≡ [dip] dupdip i
|
|
||||||
infra ≡ swons swaack [i] dip swaack
|
|
||||||
x ≡ dup i
|
|
||||||
pam ≡ [i] map
|
|
||||||
|
|
||||||
|
|
||||||
nullary ≡ [stack] dinfrirst
|
|
||||||
unary ≡ nullary popd
|
|
||||||
binary ≡ unary popd
|
|
||||||
ternary ≡ binary popd
|
|
||||||
|
|
||||||
ccccons ≡ ccons ccons
|
|
||||||
ccons ≡ cons cons
|
|
||||||
|
|
||||||
clear ≡ [] swaack pop
|
|
||||||
|
|
||||||
cleave ≡ fork popdd
|
|
||||||
clop ≡ cleave popdd
|
|
||||||
fork ≡ [i] app2
|
|
||||||
|
|
||||||
cmp ≡ [[>] swap] dipd [ifte] ccons [=] swons ifte
|
|
||||||
|
|
||||||
codi ≡ cons dip
|
|
||||||
codireco ≡ codi reco
|
|
||||||
|
|
||||||
dinfrirst ≡ dip infrst
|
|
||||||
|
|
||||||
|
|
||||||
disenstacken ≡ ? [uncons ?] loop pop
|
|
||||||
enstacken ≡ stack [clear] dip
|
|
||||||
|
|
||||||
down_to_zero ≡ [0 >] [dup --] while
|
|
||||||
|
|
||||||
drop ≡ [rest] times
|
|
||||||
|
|
||||||
dupd ≡ [dup] dip
|
|
||||||
dupdd ≡ [dup] dipd
|
|
||||||
dupdip ≡ dupd dip
|
|
||||||
dupdipd ≡ dup dipd
|
|
||||||
|
|
||||||
|
|
||||||
rest ≡ uncons popd
|
|
||||||
first ≡ uncons pop
|
|
||||||
second ≡ rest first
|
|
||||||
third ≡ rest second
|
|
||||||
fourth ≡ rest third
|
|
||||||
|
|
||||||
|
|
||||||
flatten ≡ <{} [concat] step
|
|
||||||
|
|
||||||
gcd ≡ true [tuck mod dup 0 >] loop pop
|
|
||||||
|
|
||||||
|
|
||||||
grabN ≡ <{} [cons] times
|
|
||||||
grba ≡ [stack popd] dip
|
|
||||||
|
|
||||||
hypot [sqr] ii + sqrt
|
|
||||||
|
|
||||||
infrst ≡ infra first
|
|
||||||
|
|
||||||
make_generator ≡ [codireco] ccons
|
|
||||||
|
|
||||||
manual ≡ [] words [help] step pop
|
|
||||||
|
|
||||||
neg ≡ 0 swap -
|
|
||||||
not ≡ [true] [false] branch
|
|
||||||
|
|
||||||
nulco ≡ [nullary] cons
|
|
||||||
of ≡ swap at
|
|
||||||
|
|
||||||
over ≡ [dup] dip swap
|
|
||||||
|
|
||||||
pm ≡ [+] [-] clop
|
|
||||||
|
|
||||||
popd ≡ [pop] dip
|
|
||||||
popdd ≡ [pop] dipd
|
|
||||||
popop ≡ pop pop
|
|
||||||
popopop ≡ pop popop
|
|
||||||
popopd ≡ [popop] dip
|
|
||||||
popopdd ≡ [popop] dipd
|
|
||||||
|
|
||||||
product ≡ 1 swap [*] step
|
|
||||||
|
|
||||||
quoted ≡ [unit] dip
|
|
||||||
|
|
||||||
range ≡ [0 <=] [1 - dup] anamorphism
|
|
||||||
range_to_zero ≡ unit [down_to_zero] infra
|
|
||||||
|
|
||||||
reco ≡ rest cons
|
|
||||||
|
|
||||||
|
|
||||||
reverse ≡ <{} shunt
|
|
||||||
|
|
||||||
roll> ≡ swap swapd
|
|
||||||
roll< ≡ swapd swap
|
|
||||||
rollup ≡ roll>
|
|
||||||
rolldown roll<
|
|
||||||
|
|
||||||
rrest ≡ rest rest
|
|
||||||
|
|
||||||
run ≡ <{} infra
|
|
||||||
shift ≡ uncons [swons] dip
|
|
||||||
shunt ≡ [swons] step
|
|
||||||
size ≡ [pop ++] step_zero
|
|
||||||
spiral_next ≡ [[[abs] ii <=] [[<>] [pop !-] ||] &&] [[!-] [[++]] [[--]] ifte dip] [[pop !-] [--] [++] ifte] ifte
|
|
||||||
split_at ≡ [drop] [take] clop
|
|
||||||
split_list ≡ [take reverse] [drop] clop
|
|
||||||
sqr ≡ dup *
|
|
||||||
stackd ≡ [stack] dip
|
|
||||||
step_zero ≡ 0 roll> step
|
|
||||||
stuncons ≡ stack uncons
|
|
||||||
sum ≡ [+] step_zero
|
|
||||||
swapd ≡ [swap] dip
|
|
||||||
swons ≡ swap cons
|
|
||||||
swoncat ≡ swap concat
|
|
||||||
sqr ≡ dup mul
|
|
||||||
take ≡ <<{} [shift] times pop
|
|
||||||
tuck ≡ dup swapd
|
|
||||||
uncons ≡ [first] [rest] cleave
|
|
||||||
unit ≡ [] cons
|
|
||||||
unquoted ≡ [i] dip
|
|
||||||
unswons ≡ uncons swap
|
|
||||||
while ≡ swap nulco dupdipd concat loop
|
|
||||||
|
|
||||||
step ≡ [_step0] x
|
|
||||||
_step0 ≡ _step1 [popopop] [_stept] branch
|
|
||||||
_step1 ≡ [?] dipd roll<
|
|
||||||
_stept ≡ [uncons] dipd [dupdipd] dip x
|
|
||||||
|
|
||||||
times ≡ [_times0] x
|
|
||||||
_times0 ≡ _times1 [popopop] [_timest] branch
|
|
||||||
_times1 ≡ [dup 0 >] dipd roll<
|
|
||||||
_timest ≡ [[--] dip dupdipd] dip x
|
|
||||||
|
|
||||||
map ≡ [_map0] cons [[] [_map?] [_mape]] dip tailrec
|
|
||||||
_map? ≡ pop bool not
|
|
||||||
_mape ≡ popd reverse
|
|
||||||
_map0 ≡ [_map1] dipd _map2
|
|
||||||
_map1 ≡ stackd shift
|
|
||||||
_map2 ≡ [infrst] cons dipd roll< swons
|
|
||||||
|
|
||||||
'''
|
|
||||||
|
|
||||||
|
|
||||||
'''
|
'''
|
||||||
████████╗██╗ ██╗██████╗ ███████╗ ██████╗██╗ ██╗███████╗ ██████╗██╗ ██╗███████╗
|
████████╗██╗ ██╗██████╗ ███████╗ ██████╗██╗ ██╗███████╗ ██████╗██╗ ██╗███████╗
|
||||||
╚══██╔══╝╚██╗ ██╔╝██╔══██╗██╔════╝ ██╔════╝██║ ██║██╔════╝██╔════╝██║ ██╔╝██╔════╝
|
╚══██╔══╝╚██╗ ██╔╝██╔══██╗██╔════╝ ██╔════╝██║ ██║██╔════╝██╔════╝██║ ██╔╝██╔════╝
|
||||||
|
|
@ -1327,7 +1332,7 @@ if __name__ == '__main__':
|
||||||
|
|
||||||
J = interp if '-q' in sys.argv else repl
|
J = interp if '-q' in sys.argv else repl
|
||||||
dictionary = initialize()
|
dictionary = initialize()
|
||||||
Def.load_definitions(DEFS.splitlines(), dictionary)
|
Def.load_definitions(__doc__.splitlines(), dictionary)
|
||||||
try:
|
try:
|
||||||
stack = J(dictionary=dictionary)
|
stack = J(dictionary=dictionary)
|
||||||
except SystemExit:
|
except SystemExit:
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue