You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
33 lines
351 B
33 lines
351 B
2 years ago
|
|
||
|
|
Exercise 1.42: Let
|
||
|
|
f
|
||
|
|
and
|
||
|
|
g
|
||
|
|
be two
|
||
|
|
one-argument functions. The
|
||
|
|
composition
|
||
|
|
f
|
||
|
|
after
|
||
|
|
g
|
||
|
|
is defined
|
||
|
|
to be the function
|
||
|
|
|
||
|
|
x
|
||
|
|
↦
|
||
|
|
f
|
||
|
|
(
|
||
|
|
g
|
||
|
|
(
|
||
|
|
x
|
||
|
|
)
|
||
|
|
)
|
||
|
|
|
||
|
|
. Define a procedure
|
||
|
|
compose that implements composition. For example, if inc is a
|
||
|
|
procedure that adds 1 to its argument,
|
||
|
|
|
||
|
|
|
||
|
|
((compose square inc) 6)
|
||
|
|
49
|
||
|
|
|