Matching Expressions and Contracts (2)

Referenced from lesson Applying Functions

Match the contract (left) with the expression described by the function being used (right).

Contract Expression

Contract			Expression
is-capital :: (city :: String, state :: String) -> Boolean	1	A	`show-score("Vikings", 41)`
show-score :: (team1 :: String, team2 :: String) -> Number	2	B	`is-capital("Philadelphia")`
is-capital :: (city :: String, pop :: Number) -> Boolean	3	C	`is-capital("Philadelphia", "PA")`
show-score :: (team :: String, score :: Number) -> Image	4	D	`show-score("Seahawks", "Ravens")`
is-capital :: (city :: String) -> Boolean	5	E	`is-capital("Austin", 94800)`

is-capital :: (city :: String, state :: String) -> Boolean

show-score("Vikings", 41)

show-score :: (team1 :: String, team2 :: String) -> Number

is-capital("Philadelphia")

is-capital :: (city :: String, pop :: Number) -> Boolean

is-capital("Philadelphia", "PA")

show-score :: (team :: String, score :: Number) -> Image

show-score("Seahawks", "Ravens")

is-capital :: (city :: String) -> Boolean

is-capital("Austin", 94800)

These materials were developed partly through support of the National Science Foundation, (awards 1042210, 1535276, 1648684, and 1738598). Bootstrap:Integrated Oklahoma by Jen Poole 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.