We’ve provided contracts and purpose statements to describe two different functions. Write examples for each of those functions.

half-image

Contract and Purpose Statement

Every contract has three parts…​

half-image::Image->Image

Consumes an image, and produces that image scaled to half its size.

Examples

Write some examples, then circle and label what changes…​

examples:

__________ (___________________________________) is __________________________________________________________

__________ (____________________________________) is ___________________________________________________________

end

Definition

Write the definition, giving variable names to all your input values…​

fun __________(___):

__________________________

end

product-squared

Contract and Purpose Statement

Every contract has three parts…​

product-squared::Number, Number->Number

Consumes two numbers and squares their product

Examples

Write some examples, then circle and label what changes…​

examples:

_______________ (____) is ______________

_______________ (______) is ________________

end

Definition

Write the definition, giving variable names to all your input values…​

fun _______________(____):

______________

end

These materials were developed partly through support of the National Science Foundation, (awards 1042210, 1535276, 1648684, 1738598, 2031479, and 1501927). CCbadge Bootstrap by the Bootstrap Community is licensed under a Creative Commons 4.0 Unported License. This license does not grant permission to run training or professional development. Offering training or professional development with materials substantially derived from Bootstrap must be approved in writing by a Bootstrap Director. Permissions beyond the scope of this license, such as to run training, may be available by contacting contact@BootstrapWorld.org.