def build_rightpart():
"""Build the right part of the fireball function."""
# build in 1: (K dec)
apply_card("put", 1)
apply_slot(1, "dec")
apply_card("K", 1)
# build in 0: greg
build_greg(0)
# smash together to get (greg (K dec)) in 0
smash()
# copy it to 1.
apply_card("put", 1)
apply_slot(1, "zero")
apply_card("get", 1)
# build horace in 0.
build_horace(0)
# smash together to get (horace (greg (K dec))) in 0.
smash()
# Wrap with an S.
apply_card("S", 0)
# build ian in 1.
build_ian(1)
# smash together to get ((S (horace (greg (K dec)))) ian) in 0.
smash()
def build_rightpart():
"""Build the right part of the fireball function."""
# build in 1: (K dec)
apply_card("put", 1)
apply_slot(1, "dec")
apply_card("K", 1)
# build in 0: greg
build_greg(0)
# smash together to get (greg (K dec)) in 0
smash()
# copy it to 1.
apply_card("put", 1)
apply_slot(1, "zero")
apply_card("get", 1)
# build horace in 0.
build_horace(0)
# smash together to get (horace (greg (K dec))) in 0.
smash()
# Wrap with an S.
apply_card("S", 0)
# build ian in 1.
build_ian(1)
# smash together to get ((S (horace (greg (K dec)))) ian) in 0.
smash()
def build_onemore():
"""(S ((S (horace (greg (K dec)))) (greg I)))"""
apply_card("put", 1)
apply_slot(1, "dec")
apply_card("K", 1)
build_greg(0)
smash()
# now should have (greg (K dec)) in 0.
copy(0, 1)
build_horace(0)
smash()
apply_card("S", 0)
# now up to (S (horace (greg (K dec)))) in 0.
# (greg I) is equivalent to K, so we can just apply slot 0 to K!
apply_slot(0, "K")
apply_card("S", 0)
def build_onemore():
"""(S ((S (horace (greg (K dec)))) (greg I)))"""
apply_card("put", 1)
apply_slot(1, "dec")
apply_card("K", 1)
build_greg(0)
smash()
# now should have (greg (K dec)) in 0.
copy(0,1)
build_horace(0)
smash()
apply_card("S", 0)
# now up to (S (horace (greg (K dec)))) in 0.
# (greg I) is equivalent to K, so we can just apply slot 0 to K!
apply_slot(0, "K")
apply_card("S", 0)
def build_leftpart():
"""Build the left part of the fireball function. Doing this uses slots
0,1,2,3 and the result will be in slot 0.
(S
(horace
((S
(horace
((S (horace (greg (K S))))
((S (horace fanny)) (greg I)))))
--------------------------------------
june
((S (horace fanny)) ian) )))
-----------------------
kelly
More abstractly:
(S (horace ((S (horace (june1 june2))) kelly)))
even more abstractly:
(S (horace (june kelly)))
"""
# build kelly.
build_kelly()
# copy kelly to 3.
copy(0, 3)
# build june in slots 0,1,2
build_june()
# copy kelly to slot 1
copy(3, 1)
# smash together to get (june kelly) in 0
smash()
# copy (june kelly) to 1
copy(0, 1)
# build horace in 0
build_horace(0)
# smash together to get (horace (june kelly)) in 0
smash()
# wrap with an S for the whole left part.
apply_card("S", 0)
def build_leftpart():
"""Build the left part of the fireball function. Doing this uses slots
0,1,2,3 and the result will be in slot 0.
(S
(horace
((S
(horace
((S (horace (greg (K S))))
((S (horace fanny)) (greg I)))))
--------------------------------------
june
((S (horace fanny)) ian) )))
-----------------------
kelly
More abstractly:
(S (horace ((S (horace (june1 june2))) kelly)))
even more abstractly:
(S (horace (june kelly)))
"""
# build kelly.
build_kelly()
# copy kelly to 3.
copy(0, 3)
# build june in slots 0,1,2
build_june()
# copy kelly to slot 1
copy(3, 1)
# smash together to get (june kelly) in 0
smash()
# copy (june kelly) to 1
copy(0, 1)
# build horace in 0
build_horace(0)
# smash together to get (horace (june kelly)) in 0
smash()
# wrap with an S for the whole left part.
apply_card("S", 0)
def build_applicative_y(n):
"""
Build the applicative-order Y combinator into slot n. Warning:
touches slots 0 and 1 as well as slots n, n+1, and n+2.
Supposedly, what we're building is:
((S
((S (horace (greg I)))
((S (horace (june1 ((S (horace (june1 kelly))) kelly)))) (greg ian))))
((S (horace (greg I)))
((S (horace (june1 ((S (horace (june1 kelly))) kelly)))) (greg ian)))))
"""
# Put (june1 kelly) in slot n.
build_june1()
copy(0, n) # move june1 to slot n
build_kelly()
apply_slotX_to_slotY(n, 0)
# Put address of n in slot 0.
build_num_in_slot(n, 0)
# Put (horace (june1 kelly)) in slot n+1.
build_horace(n+1)
apply_slotX_to_slotY(n+1, n, yaddr=0)
# Put (S (horace (june1 kelly))) in slot n+1.
apply_card("S", n+1)
# Put ((S (horace (june1 kelly))) kelly) in slot n+1.
build_kelly() # always ends up in slot 0.
apply_slotX_to_slotY(n+1, 0)
# Put june1 in slot 0.
build_june1()
# Put address of n+1 in slot 1.
build_num_in_slot(n+1, 1)
# Put (june1 ((S (horace (june1 kelly))) kelly)) in slot 0.
apply_slotX_to_slotY(0, n+1, yaddr=1)
# Put horace in slot n.
build_horace(n)
# Put (horace (june1 ((S (horace (june1 kelly))) kelly))) in slot n.
apply_slotX_to_slotY(n, 0)
# Put (S (horace (june1 ((S (horace (june1 kelly))) kelly)))) in slot n.
apply_card("S", n)
# Put (greg ian) in slot 0.
build_greg(0)
build_ian(1)
smash()
# Put
# ((S (horace (june1 ((S (horace (june1 kelly))) kelly)))) (greg ian))
# in slot n.
apply_slotX_to_slotY(n, 0)
# Put (greg I) in slot n+1.
# It turns out (greg I) is equivalent to K!
apply_card("put", n+1)
apply_slot(n+1, "K")
# Put (horace (greg I)) in slot n+2.
build_horace(n+2)
# Put address of n+1 in slot 1.
build_num_in_slot(n+1, 1)
apply_slotX_to_slotY(n+2, n+1, yaddr=1)
# Put (S (horace (greg I))) in slot n+2.
apply_card("S", n+2)
# Put
# ((S (horace (greg I)))
# ((S (horace (june1 ((S (horace (june1 kelly))) kelly)))) (greg ian)))
# in slot n+2.
build_num_in_slot(n, 0)
apply_slotX_to_slotY(n+2, n, yaddr=0)
# Copy slot n+2 to slot n+1.
copy(n+2, n+1)
# Apply S to slot n+2, leaving the result in slot n+2.
apply_card("S", n+2)
# Apply contents of n+2 to contents of n+1, leaving the result in
# slot n+2.
#build_num_in_slot(n+1, 1)
apply_slotX_to_slotY(n+2, n+1, yaddr=1)
# Copy slot n+2 to slot n.
copy(n+2, n)
