Exercise: Matching Contracts and Examples

Directions: Match each Example on the left with the Contract on the right. NOTE: Multiple examples may match to the same contract!

(EXAMPLE (match 30 "red") (+ 30 (string-length "red")))
b
; match : number string -> number
(EXAMPLE (match 10 "blue") (+ 10 (string-length "blue")))
b
; match : number string -> number
(EXAMPLE (match (abs -4) "45") 4)
b
; match : number string -> number
(EXAMPLE (match (triangle 20 "solid" "blue") 3) (scale 3 (triangle 20 "solid" "blue")))
d
; match : image number -> image
(EXAMPLE (match (circle 10 "solid" "orange") 22) (scale 22 (circle 10 "solid" "orange")))
d
; match : image number -> image
(EXAMPLE (match 5 (star 20 "solid" "red")) (rotate (- 90 5) (star 20 "solid" "red")))
c
; match : number image -> image
(EXAMPLE (match (circle 20 "outline" "gold")) (rotate 37 (circle 20 "outline" "gold")))
a
; match : image -> image
(EXAMPLE (match (circle 10 "solid" "green")) (rotate 37 (circle 10 "solid" "green")))
a
; match : image -> image

Bootstrap:Algebra by Emmanuel Schanzer, Emma Youndtsmith, Kathi Fisler, and Shriram Krishnamurthi is licensed under a Creative Commons 4.0 Unported License. Based on a work at www.BootstrapWorld.org. Permissions beyond the scope of this license may be available by contacting schanzer@BootstrapWorld.org.