(left-section
binproc
left
)
v
, returns
(binproc
left
v
)
.
(right-section
binproc
right
)
v
, returns
(binproc
v
right
)
.
(l-s
binproc
left
)
left-section
.
(r-s
binproc
right
)
right-section
.
(^and
f_{1}
f_{2}
...
f_{n}
)
and
. Creates
a new procedure that, when applied to some values, returns
(and (f_{1} values
)
(f_{2} values
)
...
(f_{n} values
)).
(^or
f_{1}
f_{2}
...
f_{n}
)
or
. Creates
a new procedure that, when applied to some values, returns
(or (f_{1} values
)
(f_{2} values
)
...
(f_{n} values
)).
(^not
pred?
)
not
. Creates
a new procedure, that, when applied to some values, returns
the opposite of pred?
. That is, (1)
if pred?
returns a truish value when applied
to some parameters, the new procedure returns #f
when applied to those same parameters; (2) if
pred?
returns false when applied to some
parameters, the new procedure returns #t
when
applied to those same parameters.
(compose
f
g
)
((compose f g) x)
is the same as (f (g x))
.
(o
f_{1}
f_{2}
...
f_{n-1}
f_{n}
)
f
, in turn, starting with
f_{n}
and
working backwards. The composition, when applied to a value,
x
, produces the same result as
(f_{1}
(f_{2}
(...
(f_{n-1}
(f_{n} x)))))
.
(constant
value
)
value
,
no matter what parameters it is applied to.