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) (star (* 30 2) "outline" "purple"))
d
; match : number -> image
(EXAMPLE (match 24) (star (* 24 2) "outline" "purple"))
d
; match : number -> image
(EXAMPLE (match (triangle 20 "outline" "brown") 3) (* 3 (image-height (triangle 20 "outline" "brown"))))
e
; match : image number -> number
(EXAMPLE (match (circle 10 "solid" "silver") 16) (* 16 (image-height (circle 10 "solid" "silver"))))
e
; match : image number -> number
(EXAMPLE (match "triangle" "blue") (triangle 40 "outline" "blue"))
c
; match : string string -> image
(EXAMPLE (match (string-length "coffee") (string-length "tea")) (+ 6 3))
a
; match : number number -> number
(EXAMPLE (match (string-length "tabletop")) "8")
b
; match : number -> string
(EXAMPLE (match 1.50) "greater than 1")
b
; match : number -> string

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.